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

Move docs for user-defined rules to a separate page #427

Open deemp opened 3 months ago

deemp commented 3 months ago

Details

Currently, user-defined rules are documented on the normalizer transform page (link).

However, these rules are used in the normalizer dataize command too.

Hence, we need to provide a comprehensive documentation for user-defined rules on a separate page.

Subtasks