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

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