idris-codegen-node
Functional Programming Language with Dependent Types
Install
- All systems
-
curl cmd.cat/idris-codegen-node.sh
- Arch Linux
-
pacman -S idris
- Fedora
-
dnf install idris
- OS X
-
brew install idris
- Dockerfile
- dockerfile.run/idris-codegen-node