6

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

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

4

2 回答 2

6

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

https://github.com/idris-lang/Idris-dev/tree/master/libs

于 2013-09-11T16:07:42.987 回答
0

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

Idris> :printdef uncurry
uncurry : (a -> b -> c) -> (a, b) -> c
uncurry f (a, b) = f a b
于 2018-12-02T08:51:42.953 回答