Unavailable. Nobody can download this version any more, with elm or with the Lamdera compiler: github.com/vicramgon/logicus is gone (deleted or private); Software Heritage not asked yet (this run's --swh-calls were used up); no fork with tag 8.0.0 found (12 same-name repos checked); no cached copy. Use another version.
Elm packages for working with Propositional and First Order Logic algorithms.
elm install vicramgon/logicusPublished on 27 Jun 2021 under the BSD-3-Clause license.
Elm version 0.19.1 <= v < 0.20.0
| 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.3.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 |
Unavailable: no copy of this version could be found anywhere.
Files: elm.json · docs.json · endpoint.json · README.md · releases.json