grammars/numerals/Symb.gf


1
2
3
4
5
6
7
8
9
10
11
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" ;
}