idris
Functional Programming Language with Dependent Types
RUN pacman -S --noconfirm idris
RUN dnf install -y idris
Functional Programming Language with Dependent Types
RUN pacman -S --noconfirm idris
RUN dnf install -y idris