Post #952400

Thanks to @qbane and @banacorn, Agda now runs in *your browser* via VS Code for the Web — tested on Safari and Chrome, on both desktop and iPad! A pre-release is now available in the VS Code Marketplace (library management not yet supported, though). You can open a remote repository on GitHub by pressing '.' to give it a try yourself. A proper announcement will follow somewhere after a stable release — I’m just too excited not to share this now. This project began during AIM XXXVII in Taipei two years ago, when the WASM backend for GHC became available. Both @banacorn and @qbane — the main developer of Agda Mode for VS Code and an experienced web developer & Haskeller — are based in Taiwan and enthusiastic about the idea, and I am very fortunate to be able to support their work with my startup funding (with minimal paperwork) and feedback during development. This project involves a number of repositories: https://github.com/agda-web/agda-wasm-dist https://github.com/agda/agda-language-server https://github.com/banacorn/agda-mode-vscode Big thank to @banacorn and @qbane again.