title: How can I get the source code of Idris standard library?
body: <p>I'm intrested because I would like to inspect the definitions of built-in functions in Prelude.</p>
  
  <p>I searched for it, but only found the precompiled files in ~/.cabal/share/idris...</p>