安装 idris2
slackware吧
全部回复
仅看楼主
level 8
贴吧用户_aVARMa4
楼主
chezscheme需要打开多线程支持
2023年03月09日 03点03分
1
level 2
corejd
很哇塞
2023年04月30日 15点04分
2
level 2
corejd
我搞了半天,一直没编译成功,提示权限不足,后来别人说是虚拟机内存不足.
但是现在可以了,就是没有"idris2 "这个命令
2023年05月16日 11点05分
3
1
