Mirror of cursor/principle-type-system-discipline
Catch invalid states in your types before runtime.
Sign in to comment