diff options
Diffstat (limited to 'transfer/examples/aggregation/transfer-tutorial.txt')
| -rw-r--r-- | transfer/examples/aggregation/transfer-tutorial.txt | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/transfer/examples/aggregation/transfer-tutorial.txt b/transfer/examples/aggregation/transfer-tutorial.txt deleted file mode 100644 index cb8ca876d..000000000 --- a/transfer/examples/aggregation/transfer-tutorial.txt +++ /dev/null @@ -1,12 +0,0 @@ -- Problem - -- Abstract syntax - -- Concrete syntax - -- Generate tree module - -- Write transfer code - - Derive Compos and Eq - - |