Elm package for working with First Order Logic.
elm install logicUSLIB/logicus-folPublished on 14 Sep 2021 under the BSD-3-Clause license.
Elm version 0.19.1 <= v < 0.19.2
| elm/core | 1.0.5 <= v < 2.0.0 |
| elm/parser | 1.1.0 <= v < 2.0.0 |
| elm-community/graph | 6.0.0 <= v < 7.0.0 |
| elm-community/intdict | 3.0.0 <= v < 4.0.0 |
| elm-community/list-extra | 8.5.0 <= v < 9.0.0 |
| elm-community/maybe-extra | 5.2.0 <= v < 6.0.0 |
| elm-community/string-extra | 4.0.1 <= v < 5.0.0 |
| logicUSLIB/logicus-pl | 1.0.0 <= v < 2.0.0 |
Mirrored: the zip GitHub served when this version was published, SHA-1 413deb81ef93eb28bdc1a40d9ee350fd3fc166f9, 41 KB.
Files: elm.json · docs.json · endpoint.json · README.md · releases.json