GitHub - agda-web/agda-web.github.io: The kind-of homepage for this project · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
lsp-spec		lsp-spec
github-markdown.css		github-markdown.css
index.html		index.html

About

The kind-of homepage for this project

agda-web.github.io/

Custom properties

0 stars

0 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages