forked from GitHub/gf-core
9 lines
118 B
Plaintext
9 lines
118 B
Plaintext
concrete DummyNatCnc of DummyNat = {
|
|
|
|
lincat Nat = Str ;
|
|
lin zero = "z" ;
|
|
succ n = n ;
|
|
plus m n = m ++ n ;
|
|
|
|
}
|