/idris-curses

Idris bindings to ncurses

Primary LanguageIdrisMIT LicenseMIT

Issues