summaryrefslogtreecommitdiff
path: root/transfer/examples/test.tr
AgeCommit message (Expand)Author
2005-12-06Transfer: Changed transfer program file extension from .tr to .tra to avoid c...bringert
2005-12-06Moved transfer documentation to doc/. Added sections and text to transfer tut...bringert
2005-12-05Changed test.tr to run a fibNat test.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-28Changed all example programs to use layout syntax.bringert
2005-11-25Move transfer into the GF repo.bringert