agda-language

There are 1 repositories under agda-language 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