summaryrefslogtreecommitdiff
path: root/transfer/examples/test.tr
AgeCommit message (Collapse)Author
2005-12-06Transfer: Changed transfer program file extension from .tr to .tra to avoid ↵bringert
collision with Troff file extension.
2005-12-06Moved transfer documentation to doc/. Added sections and text to transfer ↵bringert
tutorial and reference. Added script for generating html from txt2tags files.
2005-12-05Changed test.tr to run a fibNat test.bringert
2005-11-30Transfer: added example which makes the layout resolver go wrong. Added ↵bringert
binary conversion from numerals.
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