siddhartha-gadgil/BoolType.agda

Created March 17, 2014 04:18

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

Select an option

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

Download ZIP

Definition of Booleans

Raw

BoolType.agda

	data Bool : Set where
	true : Bool
	false : Bool

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