robrix/Hammer — pull request #70 by robrix (2014-04-10 15:17:54+00:00)
Title: Simplify fixpoint

Fixes #69.