Skip to content

Instantly share code, notes, and snippets.

@expede

expede/IntegerProps.hs

Last active October 21, 2016 17:07
Show Gist options
  • Save expede/592802fac13b200df5f386ab1952da65 to your computer and use it in GitHub Desktop.
Save expede/592802fac13b200df5f386ab1952da65 to your computer and use it in GitHub Desktop.
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