Come posso ottenere il codice sorgente della libreria standard Idris?

Question

Sono interessato perché vorrei esaminare le definizioni delle funzioni integrate in Prelude.

ho cercato, ma trovato solo i file precompilati in ~/.cabal/share/Idris ...

Answer 1

Secondo il commento di Vito ho trovato le fonti qui:

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