idris2

cli 0.8.0 ·idris

✓ install reviewed

Pure functional programming language with dependent types. Available on Homebrew and apt.

Resources