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