idris

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 on any operating system with command-not-found.com