You can see LSP working in the playground. It is still WIP but pretty fast. I'll add LSP benchmarks later. My design is highly biased towards fast incremental checks