Sign inSign up

ednutting/github-pages-agda

By ednutting

•Updated over 6 years ago

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

Image
0

345

Tags for ednutting/github-pages-agda

Sort by

TAG

latest

Last pushed over 6 years by ednutting

docker pull ednutting/github-pages-agda:latest
DigestOS/ARCHCompressed size

60435939b638

linux/amd64

320.07 MB