Added aggregation example.

2026-05-11 20:22:51 -06:00 · 2005-12-05 16:45:11 +00:00
parent 747271941a
commit 7c24fcb38f
6 changed files with 150 additions and 0 deletions
--- a/transfer/examples/aggregation/transfer.txt
+++ b/transfer/examples/aggregation/transfer.txt
@@ -0,0 +1,12 @@
+- Problem
+
+- Abstract syntax
+
+- Concrete syntax
+
+- Generate tree module
+
+- Write transfer code
+ - Derive Compos and Eq
+
+