Skip to content
| Marketplace
Sign in
Visual Studio Code
>
Other
>
Agda Language Server WASM Loader
New to Visual Studio Code?
Get it now.
Agda Language Server WASM Loader
Andy Pan
|
4 installs
|
(
0
)
|
Free
WebAssembly loader and runtime for Agda Language Server
Installation
Launch VS Code Quick Open (
Ctrl+P
), paste the following command, and press enter.
Copy
Copied to clipboard
More Info
Overview
Version History
Q & A
Rating & Review
No overview has been entered by publisher
