logicUSLIB/logicus-fol/3.2.2

NOTE: the latest version is 3.3.0

About

Elm package for working with First Order Logic.

elm install logicUSLIB/logicus-fol

Published on 1 Nov 2026 under the BSD-3-Clause license.

Elm version 0.19.1 <= v < 0.19.2

Dependencies

elm/core1.0.5 <= v < 2.0.0
elm/json1.1.3 <= v < 2.0.0
elm/parser1.1.0 <= v < 2.0.0
elm-community/graph6.0.0 <= v < 7.0.0
elm-community/intdict3.0.0 <= v < 4.0.0
elm-community/list-extra8.5.0 <= v < 9.0.0
elm-community/maybe-extra5.2.0 <= v < 6.0.0
elm-community/string-extra4.0.1 <= v < 5.0.0
logicUSLIB/logicus-pl4.1.0 <= v < 5.0.0

Test dependencies

elm-explorations/test2.2.0 <= v < 3.0.0

On the Lamdera package server

Mirrored: the zip GitHub served when this version was published, SHA-1 1053d68b26e8cedd60260c924144d3102c6b3d50, 99 KB.

Files: elm.json · docs.json · endpoint.json · README.md · releases.json