Skip to content

Instantly share code, notes, and snippets.

@jroesch

jroesch/hlist.idr

Created April 25, 2014 22:18
Show Gist options

  • Select an option

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

Select an option

Learn more about clone URLs
Save jroesch/11305074 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
hlist.idr
module HList
data HList : List Type -> Type where
Nil : HList []
(::) : {h: Type} -> {t: (List Type)} -> (head : h) -> (tail : HList t) -> HList (h :: t)
hlist : HList [Int, Int, Int]
hlist = [1, 2, 3]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment