summaryrefslogtreecommitdiff
path: root/transfer
AgeCommit message (Expand)Author
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
2005-11-30Moved transfer libraries to transfer/libbringert
2005-11-30Moved class stuff to prelude.bringert
2005-11-30Transfer: Ord extends Eq.bringert
2005-11-30Fixed typo in overload.tr.bringert
2005-11-30Transfer: fleshed out overloading examples.bringert
2005-11-30Added transfer Maybe module.bringert
2005-11-30Remove more useless pattern matching and variable bindings in transfer compil...bringert
2005-11-29Transfer: removed some fixed TODOs.bringert
2005-11-29Added example of composOp overloading to overload.tr.bringert
2005-11-29Added patterns with guards to transfer TODO.bringert
2005-11-29Use rec and sig for records.bringert
2005-11-29Split widesnake example. Changed examples to use rec and sig keywords.bringert
2005-11-29Added stoneage transfer example.bringert
2005-11-29Added numerals example.bringert
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 18:33:38 +0000