wolverian / agda-template

A template for an Agda project with automatic GitHub Pages support

https://wolverian.github.io/agda-template/

Geek Repo

Github PK Tool