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 b2da1edb9748841b64d08235af47e863714543a5, 8 KB.
Files: elm.json · docs.json · endpoint.json · README.md · releases.json