What it does
Works today
- Text mode needs nothing; --lsp uses the project's own mojo-lsp-server
- Run in CI by the magmalake tins
Correctness
Checked against threads.example's uncaught programs flagged, and the correct ones beside them silent
What it does
Correctness