2013-09-05 8 views
5

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

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

+3

Try репозиторий github: https://github.com/edwinb/Idris-dev/tree/master/lib – Vitus

ответ