A hobby implementation of an ncurses binding for Idris 2
Primary LanguageIdrisMIT LicenseMIT
No issues in this repository yet.