robrix/Hammer — pull request #64 by robrix (2014-04-06 18:25:35+00:00)
Title: Pretty printing

One of the tests has a cyclic grammar which is pretty-printed thus:

final -> 'x'
prefix -> '+'
S -> λ.(λ.(prefix ∘ S) | final) → 𝑓

Fixes #17.