This is an alternative site for discovering Elm packages. You may be looking for the official Elm package site instead.
Prove properties about elm programs at compile-time.
version 2.0.0
license BSD3
native-modules False
elm-version 0.17.1 <= v < 0.19.0
Tag 2.0.0
Committed At 2017-06-10 05:21:29 UTC
elm-lang/core 4.0.5 <= v < 6.0.0 5.1.1



A library for writing and verifying proofs in elm programs.

Person A: Proofs in elm?!? But elm is a pragmatic language. Surely, you jest!

Person B: Nay! Proofs are pragmatic.

There's a fleshed out example in the repo with subscriptions and commands and whatnot: permissions

You are invited to read through the examples in this order:

  1. Equivalence example
  2. Equality example