ednutting

Docker container(s) for my personal website

Agda 2.6.0.1 (using Haskell Stack, GHC 8.6.5) on jekyll/builder (on Alpine Linux)

Template for Agda in Github Pages: https://github.com/EdNutting/github-pages-agda

Haskell Stack (GHC 8.6.5) on jekyll/builder (on Alpine Linux)

GHC 8.6.5 on jekyll/builder (on Alpine Linux)

GHC-Up on jekyll/builder (on Alpine Linux)