如何获取 Idris 标准库的源代码？

【问题标题】：How can I get the source code of Idris standard library?如何获取 Idris 标准库的源代码？
【发布时间】：2013-09-05 16:49:41
【问题描述】：

我很感兴趣，因为我想检查 Prelude 中内置函数的定义。

我搜索了一下，但是只在~/.cabal/share/idris中找到了预编译的文件...

【问题讨论】：

【解决方案1】：

根据 Vitus 的评论，我在这里找到了来源：

【讨论】：

【解决方案2】：

对于较小的查询，REPL 中还有 :printdef

Idris> :printdef uncurry
uncurry : (a -> b -> c) -> (a, b) -> c
uncurry f (a, b) = f a b

【讨论】：