# 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.

> 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**.


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.

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 folder.

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

3. Open an Agda file and press <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.