/target
/html
/_build
*.lagda.md
*.agda
