*.agdai
*~
\#*\#
.\#*
*.kate-swp
/report/build/
/report/agda/
/report/agda.sty
/latex