Skip to content

Instantly share code, notes, and snippets.

@sjoerdvisscher

sjoerdvisscher/gist:338607

Created March 20, 2010 10:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save sjoerdvisscher/338607 to your computer and use it in GitHub Desktop.
Save sjoerdvisscher/338607 to your computer and use it in GitHub Desktop.
Download ZIP
Type level Fin
Raw
gistfile1.hs
data Z = Z
newtype S n = S n
data family Fin n a b :: *
data instance Fin (S n) n Z = FZ
newtype instance Fin (S n) a (S b) = FS (Fin (S n) (S a) b)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment