About

Refinement types in elm

elm install mtonnberg/refinement-proofs

Published on 5 Mar 2020 under the BSD-3-Clause license.

Elm version 0.19.0 <= v < 0.20.0

On the Lamdera package server

Mirrored: the zip GitHub served when this version was published, SHA-1 b642a4a5e6c431970cee3b992a05ca2e57d768cd, 7 KB.

Files: elm.json · docs.json · endpoint.json · README.md · releases.json