A library for maintaining type-level invariants at runtime
Owned by David Pearce.
#22 in #invariants
6KB
A library for maintaining type-level invariants.