/github-pages-agda

Template repo demonstrating Literate Agda Markdown with Github Pages (/Jekyll)

Primary LanguageCSSMIT LicenseMIT

Watchers