Skip to content

Instantly share code, notes, and snippets.

@paluh

paluh/Main.purs

Created April 21, 2018 11:53
Show Gist options
  • Save paluh/e699fb9a5980f4b037c0bf6f9555de52 to your computer and use it in GitHub Desktop.
Save paluh/e699fb9a5980f4b037c0bf6f9555de52 to your computer and use it in GitHub Desktop.
Download ZIP
Contradicting
Raw
Main.purs
module Main where
data Proxy a b = Proxy
data Zero
data Succ n
data True
data False
class Even n b | n → b
instance evenZeroF ∷ Even Zero False
instance evenZeroT ∷ Even Zero True
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment