Skip to content

Instantly share code, notes, and snippets.

@siddhartha-gadgil

siddhartha-gadgil/Nat.agda

Created March 18, 2014 11:59
Show Gist options
  • Save siddhartha-gadgil/9618696 to your computer and use it in GitHub Desktop.
Save siddhartha-gadgil/9618696 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Nat.agda
data ℕ : Set where
zero : ℕ
succ : ℕ → ℕ
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment