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