Bol*_*eth 5 standard-library idris
我很感兴趣,因为我想检查Prelude中内置函数的定义.
我搜索了它,但只在〜/ .cabal/share/idris中找到了预编译的文件...
Bol*_*eth 5
根据Vitus的评论,我在这里找到了消息来源:
https://github.com/idris-lang/Idris-dev/tree/master/libs
归档时间：
12 年，1 月 前
查看次数：
531 次
最近记录：
6 年，10 月 前