/idris-curses

Idris bindings to ncurses

Primary LanguageIdrisMIT LicenseMIT

No issues in this repository yet.