robrix/Hammer — pull request #53 by robrix (2014-04-05 08:13:36+00:00)
Title: Cheaper terminals

Terminals are cheaper—they don’t incur laziness, they don’t bother memoizing, and they don’t do fixpoints, because they can never be cyclic.