Bring rules up to date - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

7 stars 2 forks source link

Bring rules up to date #401

Closed eyihluyc closed 1 month ago

eyihluyc commented 1 month ago

Add rule names;
Delete parent application rules;
Comment out 6a because the tests pass.

PR-Codex overview

This PR updates rule names and descriptions in the yegor.yaml file under eo-phi-normalizer/test/eo/phi/rules.

Detailed summary

Renamed rules from English to Greek letters
Updated rule descriptions and names for clarity
Removed irrelevant rules for improved code readability

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