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