search

objectionary / normalizer

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

Update custom rules to latest version of the paper #345

Closed aabounegm closed 1 month ago

aabounegm commented 3 months ago

Reduction rules in the phi paper (page 12) have been updated recently with more descriptive names rather than numbers. Also, the rules themselves have changed, some rules may have been added, and others may have been removed. yegor.yaml should be reconciled with these changes.

RoukayaZaki commented 3 months ago

The phi paper is not available @aabounegm

aabounegm commented 3 months ago

The paper is still a draft, but we decided that this is not a priority because the rules are not yet finalized

fizruk commented 1 month ago

Superseded by #436.