agda-language

There are 0 repository under agda-language topic.

AI2001_Category-Source_Code-SC-Agda
seanpm2001 / AI2001_Category-Source_Code-SC-Agda
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Agda category for AI2001, containing Agda programming language datasets
agda agda-lang ai ai-2001 ai-2001-dataset ai-2001-development ai2001 ai2001-dataset ai2001-development artificial-intelligence dataset gpl3 gplv3 md r-language rmarkdown-language source-code-dataset txt agda-language agda-sc-dataset
Language:R 3