summaryrefslogtreecommitdiff
path: root/transfer/examples
AgeCommit message (Expand)Author
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-29Added example of composOp overloading to overload.tr.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
2005-11-29Made layout test example more compilcated.bringert
2005-11-28Transfer compiler: extended variable removal to variables bound in case expre...bringert
2005-11-28Fixed transfer composOp generation to support tree types that don't take a si...bringert
2005-11-28Changed all example programs to use layout syntax.bringert
2005-11-28Changed exp.tr to use layout syntax and the Cat type.bringert
2005-11-25Move transfer into the GF repo.bringert