Enable for vscode.dev?
mikesol opened this issue · 1 comments
mikesol commented
This extension is currently disabled on vscode.dev. However, with a some elbow grease and pixie dust, perhaps it could be enabled? Ie by (gulp) compiling the language server to wasm using asterius (gulp). Worth considering! https://code.visualstudio.com/api/extension-guides/web-extensions#web-extension-enablement
nwolverson commented
Duplicate of #193.
If somebody gets the PureScript compiler running in the browser it would be worth looking at, but I imagine that is a non-trivial task