search

objectionary / eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)
https://www.objectionary.com/eo-phi-normalizer/
MIT License
7 stars 2 forks source link

Document updates to the custom rules #439

Open fizruk opened 2 months ago

fizruk commented 2 months ago

432 lacks documentation and examples at the moment, but will soon be merged regardless, I think.