First-order logic formulas and parser
This module was extracted from https://github.com/FMFI-UK-1-AIN-412/tableauEditor.
Generating documentation command
elm-make --docs=documentation.json
Command for formating (example)
elm-format tests/TestFormula.elm