objectionary / normalizer

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

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

Closed eyihluyc closed 3 weeks ago

eyihluyc commented 4 weeks 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}