Форум — Talks Idris 1.0 idris, зависимые типы 0 2 https://www.idris-lang.org/idris-1-0-released/ Ссылка
Ответ на: комментарий от RazrFalcon 03.04.17 01:55:58 MSK https://github.com/idris-lang/Idris-dev/releases/tag/v1.0 e1nste1n ★★★★★ (03.04.17 03:25:49 MSK) автор топика Ссылка