dockerfile.run

agda

commandline interface to Agda

Debian

RUN apt-get update && \
    apt-get install -y agda-bin

Ubuntu

RUN apt-get update && \
    apt-get install -y agda-bin

Arch Linux

RUN pacman -S --noconfirm agda

Kali Linux

RUN apt-get update && \
    apt-get install -y agda-bin

Fedora

RUN dnf install -y agda-bin

Raspbian

RUN apt-get update && \
    apt-get install -y agda-bin

click the source code to copy install agda on any operating system with command-not-found.com