Просмотр исходного текста страницы Idris

<slideshow style="ispras" headingmark="." scaled=1 />

=== Источники . ===
* https://www.idris-lang.org/
* [[:File:Type Driven Development with Idris.pdf]] [https://www.manning.com/books/type-driven-development-with-idris]
* [https://idris2.readthedocs.io/en/latest/tutorial/starting.html Tutorial]
** Изучать надо именно Idris2

=== Инсталляция . ===
* [https://github.com/idris-lang/Idris2/blob/main/INSTALL.md] + [https://github.com/stefan-hoeck/idris2-pack/blob/main/INSTALL.md через idris-pack]
** лучше скачать сначала [https://raw.githubusercontent.com/stefan-hoeck/idris2-pack/main/install.bash установочный скрипт], потом запустить.
** лучше [https://github.com/stefan-hoeck/idris2-pack/issues/286 не использовать racket], а поставить сначала chez-scheme [https://copr.fedorainfracloud.org/coprs/superboum/chez-scheme/ для федоры есть собранный]