summaryrefslogtreecommitdiff
path: root/transfer/examples
AgeCommit message (Expand)Author
2008-06-26removed transfer from gf3aarne
2006-03-20Transfer: some TODOs. Lots of minor fixes in type checking algorithm.bringert
2006-03-20Added some tricky transfer type checking examples.bringert
2006-03-13Transfer reflexive example: added ideal version.bringert
2006-03-13Added transfer example: constructing reflexives.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-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-06opers in cncaarne
2005-12-05Added beginnings of a transfer language reference.bringert
2005-12-05Changed test.tr to run a fibNat test.bringert
2005-12-05Added aggregation example.bringert
2005-12-05Transfer: fixed Eq derivation to at least work for GF-generated Tree types.bringert
2005-12-01Added list patterns. Added som simple prelude functions.bringert
2005-12-01Transfer: added support for disjunctive patterns.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-30Transfer: derive instances, not functions.bringert
2005-11-30Transfer: reimplement operators with type classes.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-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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 11:08:30 +0000