| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-12-06 | Transfer: Changed transfer program file extension from .tr to .tra to avoid c... | bringert |
| 2005-12-06 | Moved transfer documentation to doc/. Added sections and text to transfer tut... | bringert |
| 2005-12-05 | Changed test.tr to run a fibNat test. | bringert |
| 2005-11-30 | Transfer: added example which makes the layout resolver go wrong. Added binar... | bringert |
| 2005-11-30 | Added bind operators, do-notation, a cons operator and list sytnax. | bringert |
| 2005-11-30 | Transfer: derive instances, not functions. | bringert |
| 2005-11-28 | Changed all example programs to use layout syntax. | bringert |
| 2005-11-25 | Move transfer into the GF repo. | bringert |
