#

agda-lang

Here are 3 public repositories matching this 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

Updated May 11, 2023
R

SNU_2D_ProgrammingTools_IDE_Agda

seanpm2001 / SNU_2D_ProgrammingTools_IDE_Agda

The Agda Programming language IDE submodule for SNU Programming Tools (2D Mode)

programming web-ide gplv3 ide agda md txt snu gpl3 snu2d-programmingtools snu-2d snu-programming-tools snu-2d-programmingtools snu-programmingtools snu-development snuprogrammingtools agda-lang

Updated Sep 22, 2022
Agda

pthariensflame / agda-fumulas

An exploration of fumulas in Agda—a new perspective on ring theory

math mathematics agda algebraic-structures agda-library formal-proofs ring-theory agda-lang

Updated Aug 5, 2024
Agda

Improve this page

Add a description, image, and links to the agda-lang topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the agda-lang topic, visit your repo's landing page and select "manage topics."