The aim is to support both incremental ongoing type checking via something like an LSP server, and also batch type checking for use in e.g. CI.
> The entire system is designed to be highly incremental so that it can eventually power a language server (e.g., only re-analyze affected files on code change).
> The entire system is designed to be highly incremental so that it can eventually power a language server (e.g., only re-analyze affected files on code change).
https://bsky.app/profile/crmarsh.com/post/3lgvhzeawuc26