FMFI-UK-1-AIN-412/elm-formula

First-order logic formulas and parser


License
MIT
Install
elm-package install FMFI-UK-1-AIN-412/elm-formula 5.0.1

Documentation

First-order logic formulas and parser

Build Status

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