This PR updates the eo-phi-normalizer package to version 0.4.1, introducing fixes and improvements to dataization, pretty-printing, normalization, and compatibility with EO language.
Detailed summary
Undo injection of top-level Package lambda
Fix dataization
Fix dataization inside $\varphi$ with --minimize-stuck-terms
Fix evaluation of atoms stuck on other atoms
Improve pretty-printing
Fix pipeline script for running tests on normalized EO
Add --wrap-raw-bytes option
Fix builtin normalizer for termination
Fix dataization inside application/dispatch
Fix encoding for strings to follow UTF-8
Fix bool representation to require one byte
Fix integer division to truncate toward zero
Update examples/docs on the site
Support up to 3 positional arguments in the builtin normalizer
Fix CI directory for job summary and report
Bring rules up to date
Update dependency prettier to v3.3.2
✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}
PR-Codex overview
This PR updates the
eo-phi-normalizerpackage to version 0.4.1, introducing fixes and improvements to dataization, pretty-printing, normalization, and compatibility with EO language.Detailed summary
--minimize-stuck-terms--wrap-raw-bytesoption