robrix/Hammer — pull request #67 by robrix (2014-04-09 04:15:52+00:00)
Title: Reduction compactions

Compactions for reductions & concatenations that follow the paper more closely.