Giters
reinh
/
idris-curses
Idris bindings to ncurses
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
2
Issues:
1
Forks:
idris-curses
Idris bindings to ncurses
About
Idris bindings to ncurses
License:
MIT License
Languages
Language:
Idris
93.5%
Language:
C
3.3%
Language:
Makefile
1.8%
Language:
C++
1.4%