diff options
Diffstat (limited to 'grammars/multiple/Math.gf')
| -rw-r--r-- | grammars/multiple/Math.gf | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/grammars/multiple/Math.gf b/grammars/multiple/Math.gf new file mode 100644 index 000000000..6e6a48db6 --- /dev/null +++ b/grammars/multiple/Math.gf @@ -0,0 +1,7 @@ +abstract Math = { + cat + Number ; + fun + MkNumber : Int -> Number ; +} ; + |