seanpm2001 / SNU_2D_ProgrammingTools_IDE_Idris

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

https://github.com/seanpm2001/SNU_2D_ProgrammingTools/tree/master/Programming%20Tools/!!!More/Languages/1/Idris

Geek Repo

Github PK Tool