agda-lang

There are 3 repositories under agda-lang topic.

seanpm2001/AI2001_Category-Source_Code-SC-Agda
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Agda category for AI2001, containing Agda programming language datasets
Language:R3 3 01
seanpm2001/SNU_2D_ProgrammingTools_IDE_Agda
The Agda Programming language IDE submodule for SNU Programming Tools (2D Mode)
Language:Agda2 3 02
pthariensflame/agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
Language:Agda1 2 0