Skip to content

Instantly share code, notes, and snippets.

@andrevidela

andrevidela/Sets.idr

Created January 15, 2019 09:00
Show Gist options
  • Save andrevidela/1a80578305a3429996358d996249c1fc to your computer and use it in GitHub Desktop.
Save andrevidela/1a80578305a3429996358d996249c1fc to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Sets.idr
data Set : a -> Type where
Empty : Set a
Singleton : a -> Set a
Union : Set a -> Set a -> Set a
Inter : Set a -> Set a -> Set a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment