Refinement types in elm
elm install mtonnberg/refinement-proofsPublished on 8 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 08e408cf98d29b767ce84e057c815ca7fd02ad60, 12 KB.
Files: elm.json · docs.json · endpoint.json · README.md · releases.json