How can I get the source code of Idris standard library?

Question

I'm intrested because I would like to inspect the definitions of built-in functions in Prelude.

I searched for it, but only found the precompiled files in ~/.cabal/share/idris...

Try the github repository: https://github.com/edwinb/Idris-dev/tree/master/lib — Vitus, Sep 11 '13 at 03:20

score 6 · Accepted Answer · edited Jan 07 '14 at 11:36

6

According to Vitus's comment I found the sources here:

edited Jan 07 '14 at 11:36

shhyou

answered Sep 11 '13 at 16:07

score 0 · Answer 2 · answered Dec 02 '18 at 08:51

0

For smaller queries there is also :printdef in the REPL

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

answered Dec 02 '18 at 08:51

corazza

2 Answers2