dockerfile.run – agda-mode

agda-mode

dependently typed functional programming language

Debian

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

Ubuntu

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

Arch Linux

RUN pacman -S --noconfirm agda

Kali Linux

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

Raspbian

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

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