siddhartha-gadgil/not.agda

Created March 17, 2014 04:21

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/siddhartha-gadgil/9593943.js"></script>
Save siddhartha-gadgil/9593943 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

	not : Bool -> Bool
	not true = false
	not false = true

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