mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-08-28 23:09:50 -06:00
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 ;
|
|
|
|
}
|