Does not work on source files installed in ~/.idris2/

idris-community / idris2-lsp

Language Server for Idris2

BSD 3-Clause "New" or "Revised" License

160 stars 32 forks source link

Open michaelmesser opened 3 years ago

michaelmesser commented 3 years ago

Does this require Idris to copy the .ipkg to work?

michaelmesser commented 2 years ago

I think this requires Idris to install the .ttms. Blocked by https://github.com/idris-lang/Idris2/issues/2216