Skip to content

Instantly share code, notes, and snippets.

@dagit

dagit/Foo.agda

Created January 19, 2013 20:32
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save dagit/4574913 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save dagit/4574913 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Foo.agda
module Foo where
open import Relation.Binary.Core
_⇒_ : Set → Set → Set
_⇒_ _ = record {}
@dagit
Copy link
Author

dagit commented Jan 19, 2013

The error is intentional.

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