# agda 
*.agdai
*.log
Everything.agda
agda/public/
.direnv
.DS_Store

# latex
# put this to .git/info/exclude in git repos managing latex
#
# git ls-files --others --exclude-from=.git/info/exclude
# Lines that start with '#' are comments.
# For a project mostly in C, the following would be a good set of
# exclude patterns (uncomment them if you want to use them):
# *.[oa]
.*.swp
.#*
*~
# AUTOGENERATED
# All wildcards below this marker are used to remove generated files in
# 'make clean'
*.aux
*.fdb_latexmk
*.log
*.out
thesis/*.pdf
slides/*.pdf
*.synctex.gz
*.toc
*.bbl
*.blg
*.idx
*.ilg
*.fls
*.ind
*.zip
*.dvi
*.eps
*.bcf
*.run.xml
*.nav
*.snm
*.vrb
*.vtc
*.spl
*.nlo
*.nls
*.auxlock
.auctex-auto/
_region_.tex
*.xdv
thesis/_minted-main/
slides/_minted-main/
thesis/main.bbl-SAVE-ERROR
thesis/main.bcf-SAVE-ERROR
thesis/main.tdo
main.synctex(busy)
thesis/main.pyg
thesis/main.loe