Parsing Implicational Formulae

A parser for a fragment of intuitionistic propositional logic.