@hackage eo-phi-normalizer1.0.0

Command line normalizer of 𝜑-calculus expressions.

eo-phi-normalizer

rzk on Hackage Haddock

Command line normalizer of 𝜑-calculus expressions (as produced by the EO compiler).

See https://github.com/objectionary/normalizer#readme.