Как я могу получить исходный код стандартной библиотеки Idris?

Question

Меня интересует, потому что я хотел бы проверить определения встроенных функций в Prelude.

Я искал его, но найти только скомпилированные файлы в ~/.cabal/доли/Идрис ...

Answer 1

Согласно комментарий Витуса я нашел источники здесь:

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