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