dist
html
Everything.agda
*.agdai
*.agda.el
*.lagda.el
.*.swp
