propositionalcalculus This requires stack to build. To run: stack exec propositionalcalculus -- examples/gantos_axe.txt