*.aux
*.log
/gtlc.pdf

*.fls
*.fdb_latexmk
*.synctex.gz
*.out

*.toc
*.nav
*.snm
*.bbl
*.blg

\#*
.\#*
*.agdai
*.agda~