search

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
7 stars 2 forks source link
eolang normalization object-oriented-programming oop

readme

Normalizer for 𝜑-calculus

`eo-phi-normalizer` on Hackage Haddock

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

Consult the project documentation for more details.