First-order logic formulas and parser
elm install FMFI-UK-1-AIN-412/elm-formulaPublished on 12 Nov 2020 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 e24665655fa27606331556d7a3a5b0c999a61df9, 13 KB.
Files: elm.json · docs.json · endpoint.json · README.md · releases.json