wolverian/agda-template

A template for an Agda project with automatic GitHub Pages support

CSS