Prepare a release - Githubissues

deemp commented 1 month ago

Closes #442

PR-Codex overview

This PR updates the version of eo-phi-normalizer to 1.0.0, introducing new features, improvements, and fixes.

Detailed summary

Added support for custom rules and enabling/disabling particular atoms
Enhanced matching capabilities and generation of fresh names
Improved safety with explicit forall and distinguished types for metavariables
Updated documentation and dependencies

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

0crat commented 1 month ago

@deemp Thanks for the contribution! You've earned +20 points for this: +20 as a basis; +5 for 29 hits-of-code; -5 for 0 comments. Please, keep them coming. Your running balance is +20.

0crat commented 1 month ago

@fizruk Thanks for the review! You've earned +35 points for this: +25 as a basis; +5 for 29 hits-of-code; +5 for 0 comments. Your running balance is +35.

objectionary / normalizer

Prepare a release #444

PR-Codex overview

Detailed summary