/gist:3050058
Created Jul 4, 2012
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