Sign inSign up

ednutting/jekyll-agda

By ednutting

•Updated over 6 years ago

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

Image
0

458

ednutting/jekyll-agda repository overview

Build source on Github : https://github.com/EdNutting/docker-jekyll-agda⁠

Tag summary

Content type

Image

Digest

Size

1.2 GB

Last updated

over 6 years ago

docker pull ednutting/jekyll-agda