Wie kann ich den Quellcode der Idris-Standardbibliothek erhalten?

Question

Ich bin interessiert, weil ich die Definitionen der eingebauten Funktionen in Prelude überprüfen möchte.

ich danach gesucht, fand aber nur die vorkompilierte Dateien in ~/.cabal/share/idris ...

Answer 1

Nach Vituss Kommentar fand ich die hier Quellen:

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