ncurses-idris:针对Idris 2的ncurses绑定的一种业余实现