Jak mogę uzyskać kod źródłowy biblioteki standardowej Idris?

Question

Interesuje mnie, ponieważ chciałbym sprawdzić definicje wbudowanych funkcji w Prelude.

Szukałem, ale tylko znalazłem skompilowane pliki w ~/.cabal/share/Idris ...

Answer 1

Według komentarza Wita znalazłem źródła tutaj:

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