examples/nqueens/NatAscii.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

concrete NatAscii of Nat = {

lincat Nat = Str ;

lin zero   = "" ;
    succ n = "_" ++ n ;

lincat LT = Str ;
       NE = {} ;
       Plus = {} ;

lin zLT n = n ;
    sLT _ _ l = l ;

}