Support limiting the length of a normalization chain

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

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

MIT License

7 stars 2 forks source link

Open deemp opened 3 months ago

deemp commented 3 months ago

Add a normalizer option to perform at most N normalization/dataization steps.