zyasserd/agda repository overview

⁠Dockerfile

github repository⁠

⁠Supported Tags

• 2.6.4.3 = latest,
  2.6.4.3-compiled = latest-compiled,
  2.6.4.3-compiled-haskell = latest-compiled-haskell
• 2.6.4.1, 2.6.4.1-compiled

⁠Image Variants

The images come in many flavors, each designed for a specific use case.

All images include agda in addition to stdlib⁠ and cubical⁠.

⁠<version>

This image contains the minimal files needed to run agda and the libraries. It's based on debian:buster-slim.

⁠<version>-compiled

The image went through the installation process of the libraries. The -compiled tag indicates the generation of agdai files for all library files in the image.

This is a great convenience when using the libraries as you don't have to compile the library files before you use them.

⁠<version>-compiled-haskell

This image is significantly bigger that the rest as it contains Haskell and the necessary tools used in building agda and the libraries. It's based on haskell:<version>-slim.