Skip to content

Instantly share code, notes, and snippets.

@expede
Last active Oct 21, 2016
Embed
What would you like to do?
IntegerProps
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