idris-codegen-node

Functional Programming Language with Dependent Types

Install

All systems
curl cmd.cat/idris-codegen-node.sh
Arch Arch Linux
pacman -S idris
Fedora
dnf install idris
OS X
brew install idris

idris

Functional Programming Language with Dependent Types