Skip to content

Instantly share code, notes, and snippets.

@xenophobia

xenophobia/Nat_SNat.hs

Last active December 13, 2015 19:19
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save xenophobia/4962039 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save xenophobia/4962039 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Nat_SNat.hs
data Nat = Zero | Succ Nat
data SNat (n :: Nat) where
SZero :: SNat 'Zero
SSucc :: SNat m -> SNat ('Succ m)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment