qbane.als-wasm-loader

Agda Language Server WASM Loader

Total downloads

6,480

7d gain

30

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.8.5

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: qbane
Name: als-wasm-loader
License: MIT
Homepage: https://github.com/qbane/vscode-als-wasm-loader#readme
Repository: https://github.com/qbane/vscode-als-wasm-loader.git
Reviews: 0

Taxonomy

Categories

No categories declared.

Description

WebAssembly loader and runtime for Agda Language Server

Archive

Release history

20 latest releases