移植互動式定理證明器 Agda 編譯成 WebAssembly 並開發相關的擴充套件，使之能在網頁版中的 VS Code 環境執行。預期將大幅簡化教學時的障礙，並且將運作網頁互動式教材之基礎使用。