GitHub / seanpm2001 / SNU_2D_ProgrammingTools_IDE_Idris
The Idris Programming language IDE submodule for SNU Programming Tools (2D Mode)
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seanpm2001%2FSNU_2D_ProgrammingTools_IDE_Idris
PURL: pkg:github/seanpm2001/SNU_2D_ProgrammingTools_IDE_Idris
Stars: 4
Forks: 2
Open issues: 0
License: gpl-3.0
Language: Idris
Size: 935 KB
Dependencies parsed at: Pending
Created at: about 4 years ago
Updated at: over 2 years ago
Pushed at: over 2 years ago
Last synced at: about 23 hours ago
Topics: gpl3, gplv3, ide, idris, md, programming, snu, snu-2d, snu-2d-programmingtools, snu-programming-tools, snu-programmingtools, txt, wiki