objectionary / normalizer

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

Implement global variables for rho #408

Open deemp opened 1 month ago

deemp commented 1 month ago

Normalizer is slow because of bundling multiple objects.

We can try to reduce the object size via global variables that can be reused.

@fizruk, please update the issue description if necessary.