summaryrefslogtreecommitdiff
path: root/transfer/examples/stoneage.tr
AgeCommit message (Expand)Author
2005-12-06Transfer: Changed transfer program file extension from .tr to .tra to avoid c...bringert
2005-12-05Transfer: fixed Eq derivation to at least work for GF-generated Tree types.bringert
2005-11-30Transfer: derive instances, not functions.bringert
2005-11-29Split widesnake example. Changed examples to use rec and sig keywords.bringert
2005-11-29Added stoneage transfer example.bringert