quchen/articles — pull request #13 by sgraf812 (2014-06-29 21:33:27+00:00)
Title: Getting rid of a redundant identity

If we set `q = f . g`, we don't need the equation (3) provided by referential transparency.