5
Меня интересует, потому что я хотел бы проверить определения встроенных функций в Prelude.Как я могу получить исходный код стандартной библиотеки Idris?
Я искал его, но найти только скомпилированные файлы в ~/.cabal/доли/Идрис ...
Try репозиторий github: https://github.com/edwinb/Idris-dev/tree/master/lib – Vitus