idris2

Compile and run Idris2 programs with dependent type checking

brewmacoslinux

Try with needOr install directly

About

Pure functional programming language with dependent types

idris2

Start interactive REPL to explore Idris2$ idris2

Compile an Idris2 source file to executable$ idris2 program.idr -o program

Check types and syntax of a file without compilation$ idris2 --check program.idr