diff options
Diffstat (limited to 'transfer/examples')
| -rw-r--r-- | transfer/examples/stoneage.tr | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/transfer/examples/stoneage.tr b/transfer/examples/stoneage.tr index 3a4b5393b..e48c519e6 100644 --- a/transfer/examples/stoneage.tr +++ b/transfer/examples/stoneage.tr @@ -1,3 +1,5 @@ +import prelude + data Cat : Type where { CN : Cat ; NP : Cat ; @@ -205,3 +207,4 @@ data Tree : (_ : Cat)-> Type where { derive Compos Tree +derive Eq Tree
\ No newline at end of file |