Idris

Стас Фомин

Источники

https://www.idris-lang.org/
File:Type Driven Development with Idris.pdf [1]
Tutorial
- Изучать надо именно Idris2

Инсталляция

[2] + через idris-pack
- лучше скачать сначала установочный скрипт, потом запустить.
- лучше не использовать racket, а поставить сначала chez-scheme для федоры есть собранный