diff options
Diffstat (limited to 'grammars/testConversions/MicroAbs.gf')
| -rw-r--r-- | grammars/testConversions/MicroAbs.gf | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/grammars/testConversions/MicroAbs.gf b/grammars/testConversions/MicroAbs.gf deleted file mode 100644 index 64cada72e..000000000 --- a/grammars/testConversions/MicroAbs.gf +++ /dev/null @@ -1,10 +0,0 @@ - -abstract MicroAbs = { - -cat A; - -fun -a, ab : A; -redup : A -> A; - -} |