4 Commits

Author	SHA1	Message	Date
bringert	3442d42d3b	Transfer: fixed Eq derivation to at least work for GF-generated Tree types.	2005-12-05 14:14:19 +00:00
bringert	8460fbef67	Transfer: derive instances, not functions.	2005-11-30 18:42:45 +00:00
bringert	2ebf7da067	Split widesnake example. Changed examples to use rec and sig keywords.	2005-11-29 18:15:15 +00:00
bringert	81bea08c2c	Added stoneage transfer example.	2005-11-29 17:42:43 +00:00