mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 13:09:33 -06:00
19 lines
424 B
Plaintext
19 lines
424 B
Plaintext
succ (succ (succ zero))
|
|
succ (succ zero)
|
|
succ zero
|
|
zero
|
|
|
|
plus (succ zero) (succ zero)
|
|
plus (succ zero) zero
|
|
plus zero (succ zero)
|
|
plus zero zero
|
|
succ (plus (succ zero) (succ zero))
|
|
succ (plus (succ zero) zero)
|
|
succ (plus zero (succ zero))
|
|
succ (plus zero zero)
|
|
succ (succ (plus (succ zero) (succ zero)))
|
|
succ (succ (plus (succ zero) zero))
|
|
succ (succ (plus zero (succ zero)))
|
|
succ (succ (plus zero zero))
|
|
|