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