.gitignore

## Ignore LaTeX build products
**/*.aux
**/*.lof
**/*.log
**/*.lot
**/*.fls
**/*.out
**/*.toc
**/*.fmt
**/*.fot
**/*.cb
**/*.cb2
**/*.lb
**/*.pdf
**/*.fdb_latexmk
**/auto
**/*.synctex.gz

## Bibliography auxiliary files (bibtex/biblatex/biber):
**/*.bbl
**/*.bcf
**/*.blg
**/*-blx.aux
**/*-blx.bib
**/*.run.xml

## Cabal & Stack (we no longer use stack)
stack.yaml
.stack-work*/
.stack-work-local/
*/dist
*~
dist-newstyle/
cabal.project.local
stack.yaml.lock
.ghc.environment.*
ghcid.txt

## Editors
TAGS
tags
*.temp
.dir-locals.el

## Emacs auto-generated Emacs-lisp code
auto/

## Nix artifacts
specs/**/result*
result*
specs/**/.ghc.environment.x86_64-linux-*
.stack-to-nix.cache

*.pdf
.envrc
.direnv

## macOS
.DS_Store

## python for generating the doc site's transitive dependencies
.venv

## ignore profiling output
**/*.eventlog
**/*.eventlog.json
**/*.prof

## Misc
.pre-commit-config.yaml