Собрал небольшой докерфайл для сборки Idris 2 с последующим запуском в DevContainer:
https://gist.github.com/YBogomolov/dc49c610cf7d92c60fb4678bae3ab753
Вообще, должен сказать, что DevContainer штука просто необычайно удобная и выручает уже не первый раз. Например, мой текущий проект на работе под макосью отказывается собираться нормально — ему нужен какой-то хитрый билд libsasl2 с фичами, которых почему-то нет в тех версиях, что лежат в портах и brew. Сборка же в убунтовом контейнере завелась с полпинка. Аналогично и в данном случае.
Короче, если вы хотели попробовать Idris 2 с его Quantitative Type Theory, но не хотели морочиться с установкой лиспа (для сборки нужен Chez Scheme либо Racket) и сборкой проекта вручную, то теперь можете получить работающий компилятор практически в два клика.