issues
search
objectionary
/
normalizer
Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
7
stars
2
forks
source link
Run tests for built-in normalization rules
#382
Open
deemp
opened
1 month ago
deemp
commented
1 month ago
Run tests for:
built-in normalization rules
user-defined rules in
yegor.yaml
Run tests for:
yegor.yaml