ncurses-idris：针对Idris2的ncurses绑定的一种业余实现-源码

[{"title":"（7个子文件6KB）ncurses-idris：针对Idris2的ncurses绑定的一种业余实现-源码","children":[{"title":"ncurses-idris-main","children":[{"title":"helpers.h <span style='color:#111;'>475B</span>","children":null,"spread":false},{"title":"ncurses-idris.ipkg <span style='color:#111;'>42B</span>","children":null,"spread":false},{"title":"helpers.c <span style='color:#111;'>886B</span>","children":null,"spread":false},{"title":"watch_and_learn.sh <span style='color:#111;'>580B</span>","children":null,"spread":false},{"title":"NCurses.idr <span style='color:#111;'>11.71KB</span>","children":null,"spread":false},{"title":".gitignore <span style='color:#111;'>53B</span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'>1.09KB</span>","children":null,"spread":false}],"spread":true}],"spread":true}]