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 2.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 16 Apr 2021 under the BSD-3-Clause license.
Elm version 0.19.1 <= v < 0.20.0
| avh4/elm-fifo | 1.0.4 <= v < 2.0.0 |
| elm/browser | 1.0.2 <= v < 2.0.0 |
| elm/core | 1.0.5 <= v < 2.0.0 |
| elm/html | 1.0.0 <= v < 2.0.0 |
| elm/json | 1.1.3 <= v < 2.0.0 |
| elm/parser | 1.1.0 <= v < 2.0.0 |
| elm/regex | 1.0.0 <= v < 2.0.0 |
| elm/time | 1.0.0 <= v < 2.0.0 |
| elm/url | 1.0.0 <= v < 2.0.0 |
| elm/virtual-dom | 1.0.2 <= 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/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