/normalizer

Command Line Normalizer of 𝜑-calculus Expressions

Primary LanguageHaskellMIT LicenseMIT

Normalizer for 𝜑-calculus

eo-phi-normalizer on Hackage Haddock License Hits-of-Code Lines of code

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

Consult the project documentation for more details.