There are 0 repository under agda-lang topic.
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Agda category for AI2001, containing Agda programming language datasets
The Agda Programming language IDE submodule for SNU Programming Tools (2D Mode)
An exploration of fumulas in Agda—a new perspective on ring theory