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

Generalize `Φ-dispatch` to rewrite `Φ` instead of `Φ.a` #419

Closed eyihluyc closed 3 months ago

eyihluyc commented 4 months ago

In the discussion of rules, instead of rewriting Φ.a, Yegor suggests to rewrite Φ. See https://github.com/yegor256/phi-paper/pull/32.


PR-Codex overview

This PR updates the yegor.yaml file in the eo-phi-normalizer module to change the global_object value and simplify the pattern and result values.

Detailed summary

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