summaryrefslogtreecommitdiff
path: root/transfer
AgeCommit message (Expand)Author
2006-03-20Transfer: some TODOs. Lots of minor fixes in type checking algorithm.bringert
2006-03-20Some simple clarifications in the transfer type checking document.bringert
2006-03-20Expermintation woth a collections framework for transfer.bringert
2006-03-20Added some tricky transfer type checking examples.bringert
2006-03-20Transfer TODO: added (A,B : Type) argument types.bringert
2006-03-15Transfer prelude: added missing type arguments to some type classes.bringert
2006-03-15Fixed typo in transfer prelude: prim_eq_Strbringert
2006-03-13Transfer reflexive example: added ideal version.bringert
2006-03-13Added transfer example: constructing reflexives.bringert
2006-03-06Transfer type system: some random changesbringert
2006-03-03Transfer type checking algorithm: started on conversion.bringert
2006-03-03Transfer type checking: Added some notation explanation. Added constructor co...bringert
2006-03-03Transfer: added beginnings of a type checking algorithm description.bringert
2006-01-20Report errors in at command.bringert
2005-12-09Transfer compiler: rename variables before doing any substitutions.bringert
2005-12-09Transfer: changed syntax to remove the mandatory type annotation in let.bringert
2005-12-08Transfer: fixed bug in prelude partition. Fixed naming of tuple field names, ...bringert
2005-12-08Transfer: Added compile_all.sh.bringert
2005-12-07Transfer: derive Eq Boolbringert
2005-12-06Transfer: Changed transfer program file extension from .tr to .tra to avoid c...bringert
2005-12-06Simple transfer tutorial touch-up.bringert
2005-12-06Moved transfer documentation to doc/. Added sections and text to transfer tut...bringert
2005-12-06Transfer: fixed syntax error in prelude definition of partition.bringert
2005-12-06Transfer: moved pair stuff to prelude. Added partition function.bringert
2005-12-06opers in cncaarne
2005-12-05Added beginnings of a transfer language reference.bringert
2005-12-05Removed variable for the type argument of List.bringert
2005-12-05Renamed transfer compiler and interpreter.bringert
2005-12-05Changed test.tr to run a fibNat test.bringert
2005-12-05Added aggregation example.bringert
2005-12-05Added tuple expressions and patterns.bringert
2005-12-05Transfer: fixed Eq derivation to at least work for GF-generated Tree types.bringert
2005-12-02Transfer added guards and Eq derivation.bringert
2005-12-02Added some differences between Cayenne and Transfer to transfer READMEbringert
2005-12-01Transfer: removed list syntax from TODO.bringert
2005-12-01Added list patterns. Added som simple prelude functions.bringert
2005-12-01Transfer: Added Double type.bringert
2005-12-01Transfer: remove disjunctive patterns from TODO.bringert
2005-12-01Transfer: added support for disjunctive patterns.bringert
2005-12-01Transfer: removed some fixed TODOs.bringert
2005-12-01Transfer: moved stuff around in prelude. Added some new simple instances.bringert
2005-12-01Transfer: Added Add instance for lists.bringert
2005-11-30Fixed layout stop word bug.bringert
2005-11-30Transfer: added example which makes the layout resolver go wrong. Added binar...bringert
2005-11-30Added bind operators, do-notation, a cons operator and list sytnax.bringert
2005-11-30Added monad isntances for List and Maybe.bringert
2005-11-30Transfer: derive instances, not functions.bringert
2005-11-30Transfer: added monad class. fixed Compos class types.bringert
2005-11-30Transfer: reimplement operators with type classes.bringert
2005-11-30Transfer compiler now has a search path. Use -ipath to add to the path. Creat...bringert
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 12:53:46 +0000