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 …
-
-
It seems like a good idea generally, but it works for any language the way CLR is a "common" language run-time. The more your language resembles C#, the more that is true.
-
And most popular languages are a lot like C#, so I suppose that's fairly reasonable.
- 1 more reply
New 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.