This is an alternative site for discovering Elm packages. You may be looking for the official Elm package site instead.
Formula parser for first order logic.
version 1.0.0
license MIT
native-modules False
elm-version 0.18.0 <= v < 0.19.0
Tag 1.0.0
Committed At 2018-05-28 18:37:43 UTC
elm-tools/parser 2.0.1 <= v < 3.0.0 2.0.1
elm-lang/core 5.0.0 <= v < 6.0.0 5.1.1

Modules

README

Parser for first order logic fomulas

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