objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

454 replace normalizer report command with the normalizer pipeline report command #456

Closed deemp closed 1 month ago

deemp commented 1 month ago

PR-Codex overview

This PR updates the normalizer pipeline commands by restructuring and adding new functionalities.

Detailed summary

The following files were skipped due to too many changes: eo-phi-normalizer/app/Main.hs

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

0crat commented 1 month ago

@fizruk Thanks for the review! You've earned +47 points for this: +25 as a basis; +32 for the 321 hits-of-code that you reviewed; -10 for too few (0) comments. Your running balance is +142.

0crat commented 1 month ago

@deemp Thanks for the contribution! You've earned +13 points for this: +30 as a basis; -7 for too many hits-of-code (321 >= 100); -10 for too few (0) comments. Please, keep them coming. Your running balance is +50.