# Trying out Agda mode in a browser

This is a simple guide to install the pre-release version of Agda mode on VS Code for the Web, powered by WebAssembly. It works on both desktop and mobile devices that have a physical keyboard attached.

> [!Tip] 2026/4/30 Update
> ALS WASM Loader v0.8.0 paired with Git Submodule Cloner v0.0.8 supports library management! Please update agda-mode-vscode to at least v0.9.x.
> 

> The project is expected to stablize around mid-2026, and the guide will be updated then. Though basic interaction commands are supported, we are still working on features like library management, compilation, and so on.

0. Get a modern browser ready. (I hate to say this but [Google Chrome](https://www.google.com/chrome/) is preferred).
> [!Note]
> VS Code for the Web also works on Firefox and Safari, but they do not support opening local folders. You need to connect to a remote folder like a GitHub repository.

2. Open [VS Code for the Web](https://vscode.dev) or [github.dev](https://github.dev/). On the left sidebar, click to open the **Extensions** tab. Search for the [**agda-mode**](https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode) extension published by **Ting-Gian LUA** and press the little triangle besides the **Install** button. ~~In the menu that appears, choose **Install Pre-Release Version**.~~ Any version >= v0.7.0 should work.


~~When the installation is complete, you will notice that a helper extension, [**Agda Language Server WASM Loader**](https://marketplace.visualstudio.com/items?itemName=qbane.als-wasm-loader), is also installed.~~ It is no longer listed as a dependency in the release version. Please also install [**Agda Language Server WASM Loader**](https://marketplace.visualstudio.com/items?itemName=qbane.als-wasm-loader) manually.

2. Go to the **Explorer** tab and open a folder. This creates a workspace inside VS Code.


If you see the following dialog, follow the instructions to open a remote repository.

The page may reload, and you may need to trust the workspace for the extension to load.

3. Open an Agda file and run command **Agda: Load** (or press its shortcut <kbd>Ctrl</kbd>-<kbd>C</kbd> <kbd>Ctrl</kbd>-<kbd>L</kbd>) to load the file.

4. When you first use Agda mode, it will download a WebAssembly version of Agda Language Server. Once the process is done, the file will load. ~~It includes stdlib v2.3 but not cubical (yet).~~

> In newer versions, ALS WASM Loader provides a command "Manage libraries". You can install stdlib and cubical. Just make sure your Agda file is placed inside a project by placing a library file that looks like this:
> ```plaintext
> include: .
> -- modify as needed
> depend: standard-library cubical
> ```