Подробнее:
https://www.idris-lang.org/idris-2-version-040-released.html
Изменения:
https://github.com/idris-lang/Idris2/blob/ea1ad1688f1e8ff275b229c733d691d0b1dbe107/CHANGELOG.md
Загрузка:
Ответ на: комментарий от anonymous Ответ на: комментарий от seiken Ответ на: комментарий от hateyoufeel Ответ на: комментарий от anonymous Ответ на: комментарий от hateyoufeel Ответ на: комментарий от anonymous Ответ на: комментарий от hateyoufeel Ответ на: комментарий от AndreyKl Ответ на: комментарий от hobbit Ответ на: комментарий от moonmadness