ednutting

Community User

Displaying 1 to 6 of 6 repositories

image

Docker container(s) for my personal website

10K+

image

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

458

image

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

345

image

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

300

image

GHC 8.6.5 on jekyll/builder (on Alpine Linux)

296

image

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

245