Closed deemp closed 2 months 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.
@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.
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
forall
and distinguished types for metavariables