И это всё МОЁ
Данный релиз примечателен тем, что теперь Idris 2 – self-hosted, то есть написан на самом себе и собирает сам себя.
В качестве бэкенда/рантайма пока используются реализации на языке Scheme: Chez Scheme – дефолтная реализация (одна из самых быстрых) и Racket.
Idris 2 работает на GNU/Linux, macOS, BSD* и MS Windows.
Подробности: https://www.idris-lang.org/idris-2-version-020-released.html