# First-order logic formulas and parser
[![Build Status](https://travis-ci.org/FMFI-UK-1-AIN-412/elm-formula.svg?branch=master)](https://travis-ci.org/FMFI-UK-1-AIN-412/elm-formula)

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`