@hackage / eo-phi-normalizer

Command line normalizer of 𝜑-calculus expressions.