robrix/Hammer.swift — pull request #4 by robrix (2014-06-30 00:29:13+00:00)
Title: Compaction

Initial attempt at compaction. Note that this is incomplete, due to open questions about:

- how to type and compose reductions
- how to type null parses
- destructuring languages flexibly at more than a single level
- whether combinators should exist