@dawe I've always thought there should be a "good enough" toolbox to do propositional logic on as you go through a book. There are so many variations and programs in an array of states of completion. This looks neat, can't wait to check it out.

@dawe hmm, I've never felt the need to encode parentheses in the AST. It's always contractible to its child node and a hipothetical formatter could just reconstruct them according to precedence.