A template for an Agda project with automatic GitHub Pages support
Home Page:https://wolverian.github.io/agda-template/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool