[meeting] [joint] 05.07.2024

objectionary / eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)

MIT License

7 stars 2 forks source link

Closed deemp closed 2 months ago

deemp commented 3 months ago

Focus on:

Synchronize the rules with phi-paper
Prepare an article for CPP 2025
Support custom rules (for optimizing streams) (https://github.com/objectionary/normalizer/issues/423)
Patent (two-phase evaluation) (https://github.com/objectionary/normalizer/issues/197)