---
# System prepended metadata

title: Trying out Agda mode in a browser

---

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

   ![searching and installing the extension](https://hackmd.io/_uploads/Hy9poS0rbl.png)

   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.

   ![opening a folder](https://hackmd.io/_uploads/Hy8fTHRBWx.png =50%x)

   If you see the following dialog, follow the instructions to open a remote folder.
   ![when opening local folders is unsupported](https://hackmd.io/_uploads/H1qEarRBZg.png =70%x)

   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.
   ![agda mode complete setup](https://hackmd.io/_uploads/H1tWkLArWl.png)
