[meeting] [joint] 05.07.2024

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

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

MIT License

7 stars 2 forks source link

Closed deemp closed 1 month ago

deemp commented 2 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)