#

snu-programmingtools

Here is 1 public repository matching this topic...

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

Improve this page

Add a description, image, and links to the snu-programmingtools 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 snu-programmingtools topic, visit your repo's landing page and select "manage topics."