types
Your type checker, over the whole project.
Reference
- Runs
- commands.typecheck
- Ships as
- on, and stops the run
- Needs
- a typecheck command
How it works
Runs whatever you put in commands.typecheck. No flags of its own, no
opinion about which checker you use.
It runs over the project rather than the changed files, because a type error usually lands somewhere you did not edit.