Skip to content

Instantly share code, notes, and snippets.

@edwinb

edwinb/draughts.idr

Created August 17, 2014 17:50
Show Gist options
  • Save edwinb/4214815b0f36d7f4fd8c to your computer and use it in GitHub Desktop.
Save edwinb/4214815b0f36d7f4fd8c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
draughts.idr
data AltList : a -> b -> Type where
Nil : AltList a b
(::) : b -> AltList a b -> AltList b a
test : AltList String Int
test = ["hi", 2, "cat", 3, "hoy"]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment