Skip to content

Instantly share code, notes, and snippets.

@beezee
Created October 19, 2018 13:38
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 beezee/a2721b37c93952e7b63673f9738b0cb1 to your computer and use it in GitHub Desktop.
Save beezee/a2721b37c93952e7b63673f9738b0cb1 to your computer and use it in GitHub Desktop.
simple refactorings, prod/cop
a -> (b, c) ~ (a -> b, a -> c)
(a | b) -> c ~ (a -> c, b -> c)
bc^a = b^a*c^a
c^(a+b) = c^a*c^b
a=2;b=2;c=3;
(2*3)^2 = 36 = (2^2)*(3^2)
3^(2+2) = 81 = 3^2*3^2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment