Ну, то есть, он вышел месяц назад, но почему-то никто про это здесь не написал

https://www.idris-lang.org/idris-1-0-released/

Тьюториал тут: http://docs.idris-lang.org/en/latest/tutorial/index.html

You will always get what you always got
  If you always do  what you always did

Здравствуйте, jazzer, Вы писали:

J>Ну, то есть, он вышел месяц назад, но почему-то никто про это здесь не написал

А что это?

Здравствуйте, Marty, Вы писали:

M>А что это?

На сайте ПОМИ РАН можно посмотреть лекции на тему «Программирование с зависимыми типами на языке Idris»: http://compsciclub.ru/courses/idrisprogramming/2017-spring/?tab=classes

Здравствуйте, jazzer, Вы писали:

J>Ну, то есть, он вышел месяц назад, но почему-то никто про это здесь не написал
Так 1-го апреля еще вышел. Я думал это никому не интересно.
И книжка вышла Type-Driven Development with Idris очень хорошо написанная.

P.S.
Только мне показалось, что доказывать теоремы о программах на нем неудобно, например по сравнению с Lean theorem prover.