## Agda files
*.agdai
.agda-stdlib.sed
.links-*.sed

## Haskell files
_site/
_cache/
stack.yaml.lock
.stack-work/
dist-newstyle

## Jekyll files
_site/
.sass-cache/
.agda-stdlib.sed
.jekyll-metadata
Gemfile.lock

## LaTeX files
*.aux
*.bbl
*.blg
*.fdb_latexmk
*.fls
*.log
*.pdf
*.spl
*.synctex.gz

## Emacs files
auto/
\#*\#

## Misc build files
out/
*.zip
versions/plfa.github.io-web-*/