Skip to content

Latest commit

 

History

History
11 lines (8 loc) · 885 Bytes

README.md

File metadata and controls

11 lines (8 loc) · 885 Bytes
Raw

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.