Elm package for working with First Order Logic.
elm install logicUSLIB/logicus-folPublished on 26 Sep 2022 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/json | 1.1.3 <= 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 5d237099106fc1f8579e572a195d1e4eb9061e73, 48 KB.
Files: elm.json · docs.json · endpoint.json · README.md · releases.json