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 7b3ec807cd7be2608a42967fd49f60121a0da43d, 7 KB.

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