Skip to content

Instantly share code, notes, and snippets.

@siddhartha-gadgil

siddhartha-gadgil/Extensionality.agda

Created March 27, 2014 09:06
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save siddhartha-gadgil/9803423 to your computer and use it in GitHub Desktop.
Save siddhartha-gadgil/9803423 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Extensionality.agda
postulate
extensionality : {A B : Set} → (f g : A → B) → ((x : A) → (f x) == (g x)) → f == g
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment