search

gelijergensen / MetaLogic

A general purpose calculator for propositional logic systems
MIT License
0 stars 0 forks source link

Fixes the Parser to behave more like Haskell code #12

Closed gelijergensen closed 3 years ago

gelijergensen commented 3 years ago

We now correctly interpret "+ X (- A B C) Y" as the expected tree (i.e. "X", "- A B C" and "Y" are the children of "+"). In particular, this resolves #9