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

[{"title":"（ 7 个子文件 6KB ） ncurses-idris：针对Idris 2的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}]