Release the normalizer - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

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

MIT License

7 stars 2 forks source link

Release the normalizer #442

Closed deemp closed 1 month ago

deemp commented 1 month ago

Details

Recently, we added new functionality that was requested by the EO team. We want to release a new normalizer version for EO team play with this functionality.