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...

Answer 1

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

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

Answer 2

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