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

DE>Я куда-то не туда смотрю или чего-то не понимаю? Статистика отсюда. Ну и помню новость о том, что Idris2 "self-hosted".

https://www.idris-lang.org/pages/download.html

Тут сказано используйте схему для сборки идрис2 или можете пойти жестким путем через бутстрапиннг.
по умолчанию правда не ракет, а чес-схем.