*.aux
*.fdb_latexmk
*.fls
*.log
*.nav
*.out
*.pyg
*.snm
*.toc
*.vrb
agda/*.agdai
agda/tex