idris-codegen-c

Functional Programming Language with Dependent Types

Install

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

idris

Functional Programming Language with Dependent Types