Haskell parsec で命題論理（propositional logic）の構文解析器を作ってみた。作ってみた、とは一言っても、つくりかけ。BNF の右辺が２つの時はできるのだけど、それが３つ以上になった時にどうして良いかわからない。以下を参考に作った。以下と違って、…