npm

agda

Dependently typed functional programming language with interactive development

brewmacoslinux
Try with needOr install directly
Source

About

Dependently typed functional programming language

Commands

agda

Examples

Check and compile an Agda source file$ agda MyProgram.agda
Start interactive Agda mode for a file$ agda --interactive MyProgram.agda
Display version information$ agda --version