About

Refinement types in elm

elm install mtonnberg/refinement-proofs

Published on 6 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 14ee7b4c237dda459c5ccbbf3ed93eb2b0367599, 7 KB.

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