Create a gist now

Instantly share code, notes, and snippets.

Embed
What would you like to do?
type nat = Zero | Successor(nat)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment