Mirror of cursor/principle-type-system-discipline
Catch invalid states in your types before runtime.
Recent revisions are kept. Restoring one creates a new revision.