The Agda Programming language IDE submodule for SNU Programming Tools (2D Mode)
Primary LanguageAgdaGNU General Public License v3.0GPL-3.0