Align reductions from application to `⊥` with the paper - Githubissues

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

Align reductions from application to `⊥` with the paper #418

Closed eyihluyc closed 3 months ago

eyihluyc commented 4 months ago

In the paper, there are two rules regarding reductions from application to ⊥:

in case the attribute is already attached, and
if the attribute is missing.

This PR brings these two rules into yegor.yaml. Currently, we have just R_OVER, which is named R_MISS.

PR-Codex overview

This PR introduces new YAML rules for normalizing phi expressions in the eo-phi-normalizer module.

Detailed summary

Added a new rule R_OVER for handling invalid application with attribute already attached
Added a new rule R_MISS for handling invalid application with absent attribute
Removed the rule R_STOP for invalid attribute access

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