This is the Git repo of (the Dockerfiles for building) Docker (Unofficial) Image for Agda.

• Agda
• Emacs for browsing Agda code

• amd64
• aarch64

You can run the images locally without building:

$ docker run -it ltchentw/agda:2.7.0.1

If uncertain, you can build an image yourself and run the image locally:

$ docker build -t agda 2.7.0.1 && docker run -it agda