Closed eyihluyc closed 3 months ago
As discussed in https://github.com/yegor256/phi-paper/pull/34, we can update the decoration rule to insert .φ.
.φ
In this version of the rule, it coincides with the corresponding rule in the minimal φ-calculus.
φ
This PR focuses on refactoring the yegor.yaml file in the eo/phi/rules directory to improve object attribute access logic.
yegor.yaml
eo/phi/rules
✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}
/codex {your question}
As discussed in https://github.com/yegor256/phi-paper/pull/34, we can update the decoration rule to insert
.φ.In this version of the rule, it coincides with the corresponding rule in the minimal
φ-calculus.PR-Codex overview
This PR focuses on refactoring the
yegor.yamlfile in theeo/phi/rulesdirectory to improve object attribute access logic.Detailed summary