issues
search
objectionary
/
normalizer
Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7
stars
2
forks
source link
[meeting] [joint] 17.05.2024
#354
Closed
deemp
closed
1 month ago
deemp
commented
3 months ago
https://github.com/objectionary/normalizer/issues/353
https://github.com/objectionary/normalizer/issues/352
https://github.com/objectionary/normalizer/issues/351
https://github.com/objectionary/normalizer/issues/197
https://github.com/objectionary/normalizer/issues/256
- blocked on @volodya-lombrozo
Proposals (
https://github.com/objectionary/normalizer/pull/259
,
https://github.com/objectionary/normalizer/pull/258
) - need review by @yegor256, @maxonfjvipon
Our progress with atoms (
link
)