Refinement types in elm
elm install mtonnberg/refinement-proofsPublished on 6 Mar 2020 under the BSD-3-Clause license.
Elm version 0.19.0 <= v < 0.20.0
| elm/core | 1.0.0 <= v < 2.0.0 |
| elm/random | 1.0.0 <= v < 2.0.0 |
| elm-explorations/test | 1.2.1 <= v < 2.0.0 |
Mirrored: the zip GitHub served when this version was published, SHA-1 b52cbdd0e9b1bf57233fe915dece3de249f3a5b1, 11 KB.
Files: elm.json · docs.json · endpoint.json · README.md · releases.json