Skip to content

Instantly share code, notes, and snippets.

@startling

startling/bool.agda

Created December 13, 2012 03:45
Show Gist options
  • Save startling/4273851 to your computer and use it in GitHub Desktop.
Save startling/4273851 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
bool.agda
data Bool : Set where
true : Bool
false : Bool
Raw
error
/Users/tim/Desktop/bool.agda:2,1-1
/Users/tim/Desktop/bool.agda:2,1: Parse error data<ERROR> Bool :
Set where true : Bo...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment