npm

idris2

Compile and run programs in Idris2, a dependently-typed functional language.

brewmacoslinux
Try with needOr install directly
Source

About

Pure functional programming language with dependent types

Commands

idris2idris2-boot

Examples

check syntax and type errors in an Idris file$ idris2 --check myprogram.idr
compile Idris code to an executable$ idris2 -o myapp myprogram.idr
start interactive REPL to test code$ idris2
generate optimized code for production$ idris2 --build-dir build -o myapp myprogram.idr
compile to JavaScript for web browser$ idris2 --cg javascript -o myapp.js myprogram.idr