I’m trying out VSCode, and pleasantly surprised to find there’s a nice interactive @idrislang mode for it. Thanks!https://github.com/zjhmale/vscode-idris …
I see it’s mentioned in an open issue. I don’t know much about LSP myself though, so I don’t know what it’s capable of.
-
-
Unfortunately not enough to support Idris well. Last I looked, the protocol didn't support formatted text in key areas, nor the kinds of semantic annotations used in Idris and Agda
-
That was my hunch from a quick look at it.
- 3 more replies
New conversation -
-
-
This Tweet is unavailable.
-
That looks interesting. Especially support for case-splitting.
End of conversation
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.