Description
A Haskell library for decidable propositions. It provides types and helpers for representing whether a proposition can be proved or disproved in code.
Developers use it in type-level programming, validation, proofs, and generic libraries. The value is making logical evidence explicit so later code can depend on what was checked.