search

objectionary / normalizer

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

Force explicit declaration of pattern variables #441

Open fizruk opened 1 month ago

fizruk commented 1 month ago

432 introduces optional declaration of pattern variables (for safety). We should make it mandatory, I think, and update yegor.yaml correspondingly.