A stub page for the Agda Web project. Our aim is to be able to run an interactive session of Agda the proof assistant in a browser, powered by GHC's WebAssembly backend.
Distributions of Agda executable compiled into WebAssembly, for Agda version 2.6.4.3 through 2.8.0. It includes an alternative setup script, written in Python, to the GHC-WASM backend. See what patch looks like.
A fork of PLFA that can be evaluated in a browser page via vscode.dev or github.dev. Self-hosted version is work in progress.