diff options
| author | aarne <unknown> | 2003-10-08 14:14:09 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-10-08 14:14:09 +0000 |
| commit | ddd103ccd7422c35b5af0bcb5bad5edd49b080bb (patch) | |
| tree | aaec83676e940efff5c059d17b202756a8057572 /grammars/numerals/Symb.gf | |
| parent | a979508aa75a3f2b93072d214ca9c75ed874a39c (diff) | |
examples for transfer
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" ; +} + |