Pinned Loading

1. agda agda Public

   Forked from agda/agda

   [For generating patches for {Agda,ALS} WASM] Agda is a dependently typed programming language / interactive theorem prover.

   Haskell 4

2. agda-wasm-dist agda-wasm-dist Public

   Distributions of Agda executable compiled into WebAssembly.

   Python 24 2

3. agda-language-server agda-language-server Public

   Forked from agda/agda-language-server

   Language Server for Agda

   Haskell 3

4. agda-input agda-input Public

   Data source of Agda mode's input method, originally on Emacs

   JavaScript