.jekyll-cache
.agda-html
_site
*.agdai