GitHub repository: EdNutting/github-pages-agda
Primary language: CSS
Created: 2020-02-26T15:36:32Z
Description: Template repo demonstrating Literate Agda Markdown with Github Pages (/Jekyll)