标签： standard-library idris
我很感兴趣，因为我想在Prelude中检查内置函数的定义。
我搜索了它，但只在〜/ .cabal / share / idris中找到了预编译的文件......
答案 0 :(得分：5)
根据Vitus的评论，我在这里找到了消息来源：
https://github.com/idris-lang/Idris-dev/tree/master/libs
答案 1 :(得分：0)
对于较小的查询，REPL中也有:printdef
:printdef
Idris> :printdef uncurry uncurry : (a -> b -> c) -> (a, b) -> c uncurry f (a, b) = f a b