mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-06-24 18:46:26 -06:00
krasimir
14 lines
379 B
Plaintext
14 lines
379 B
Plaintext
zero
|
|
succ zero
|
|
succ (succ zero)
|
|
succ (succ (succ zero))
|
|
succ (succ (succ (succ zero)))
|
|
succ (succ (succ (succ (succ zero))))
|
|
succ (succ (succ (succ (succ (succ zero)))))
|
|
succ (succ (succ (succ (succ (succ (succ zero))))))
|
|
succ (succ (succ (succ (succ (succ (succ (succ zero)))))))
|
|
succ (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))
|
|
|
|
succ (succ zero)
|
|
|