Idris brew install idris2 extension: .idr repl: idris2 load repl with file: idris2 .idr compile idris2 <filename>.idr -o <executable-name>