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

ednutting/github-pages-agda repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

Size

320.1 MB

Last updated

over 6 years ago

docker pull ednutting/github-pages-agda