raichoo/gist:9511582

Created March 12, 2014 17:11

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/raichoo/9511582.js"></script>
Save raichoo/9511582 to your computer and use it in GitHub Desktop.

Download ZIP

LEM

Raw

gistfile1.idr

	lem : (a : Type) -> Not (Not (Either a (Not a)))
	lem a f = f (Right $ \x => f (Left x))

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment