Skip to content

Instantly share code, notes, and snippets.

@expede

expede/IntegerProps.hs

Last active October 21, 2016 17:07
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
Embed
What would you like to do?
Learn more about clone URLs
Download ZIP
IntegerProps
Raw
IntegerProps.hs
x == x -- Reflixivity
x * 0 == 0 -- Origin
x * 0 * 0 == 0 -- Idempotence
x + 0 == x -- Additive identity
x / 1 == x -- Divisive identity
x * 1 == x -- Multiplicative identity
@ddossot
Copy link

ddossot commented Oct 21, 2016

Reflixivity ➡️ Reflexivity

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