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: