objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

Document updates to the custom rules #439

Open fizruk opened 1 month ago

fizruk commented 1 month ago

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