Skip to content

Instantly share code, notes, and snippets.

@raichoo

raichoo/gist:9628020

Created March 18, 2014 19:51
Show Gist options
  • Save raichoo/9628020 to your computer and use it in GitHub Desktop.
Save raichoo/9628020 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.idr
check : (x : a) ->
(f : a -> Bool) ->
Either (f x = True) (f x = False)
check x f with (f x)
| True = Left refl
| False = Right refl
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment