0 - ставишь chezscheme9.5 1 - качаешь с офф сайта tgz-архив с сорсами идриса. 2 - прописываешь make bootstrap SCHEME=chez, где chez это шортнейм твоего компилятора chezscheme, мне пришлось писать chezscheme9.5 3 - make install В итоге в папке build/exec будет лежать шел-скрипт idris2, к которому и надо обращаться как к компилятору