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

483 test command #498

Closed deemp closed 11 hours ago

deemp commented 2 weeks ago

Closes #483


PR-Codex overview

This PR introduces a new testing feature to the normalizer tool, allowing users to run unit tests with user-defined rules. It also includes updates to documentation and the project structure to support this functionality.

Detailed summary

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}