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

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

## Jekyll files
.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
*.zip
versions/plfa.github.io-web-*/

## Include plfa.pdf
!plfa.pdf