GitHub repository: mattpolzin/ncurses-idris
Primary language: Idris
Created: 2021-02-14T03:14:43Z
Description: A hobby implementation of an ncurses binding for Idris 2