CoNat
cO | |
cS cO | |
cS (cS cO) | |
cS (cS (cS cO)) | |
... | |
cS (cS (cS (...)))... |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
cO | |
cS cO | |
cS (cS cO) | |
cS (cS (cS cO)) | |
... | |
cS (cS (cS (...)))... |