literature.pdf **/.gup /literature.bibtex **/.stack-work /thesis.meta.yml /thesis.pdf **/*.cabal **.log **.prof **.prof.*