idris-codegen-c

Functional Programming Language with Dependent Types

Arch Arch Linux
RUN pacman -S --noconfirm idris
Fedora
RUN dnf install -y idris
click the source code to copy install idris-codegen-c on any operating system with command-not-found.com