diff options
Diffstat (limited to 'grammars/numerals/Symb.gf')
| -rw-r--r-- | grammars/numerals/Symb.gf | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/grammars/numerals/Symb.gf b/grammars/numerals/Symb.gf new file mode 100644 index 000000000..0648b778f --- /dev/null +++ b/grammars/numerals/Symb.gf @@ -0,0 +1,12 @@ +concrete Symb of Nat = open Prelude in { + lincat Nat, Bin = SS ; + + lin + One = ss "1" ; + Succ = postfixSS "'" ; + + BOne = ss "1" ; + BX = postfixSS "0" ; + BXPlus = postfixSS "1" ; +} + |