First-order logic formulas and parser
elm install FMFI-UK-1-AIN-412/elm-formulaPublished on 24 Mar 2021 under the MIT license.
Elm version 0.19.0 <= v < 2.0.0
| elm/core | 1.0.0 <= v < 2.0.0 |
| elm/parser | 1.1.0 <= v < 2.0.0 |
| elm-explorations/test | 1.2.2 <= v < 2.0.0 |
Mirrored: the zip GitHub served when this version was published, SHA-1 153d12fdd12230f826298c838471c96ed100d7cd, 13 KB.
Files: elm.json · docs.json · endpoint.json · README.md · releases.json