Description
Idris 2 tooling can reuse library code for Language Server Protocol features and editor integration.
It is useful for developers building or extending Idris-aware editor services. This is support infrastructure for development tools, not a standalone user application.