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