Proposal
Projects that already typecheck (you seem to have two) could be added as git submodules, or checked out in a CI script. Future runs of the type checker should keep checking them without crashes. That way we're less likely to introduce new type checker bugs.
Proposal
Projects that already typecheck (you seem to have two) could be added as git submodules, or checked out in a CI script. Future runs of the type checker should keep checking them without crashes. That way we're less likely to introduce new type checker bugs.