.gitignore

## 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-*/

# Arend bin files
*.arc

# User-specific stuff
.idea/**/workspace.xml
.idea/**/tasks.xml
.idea/**/usage.statistics.xml
.idea/**/dictionaries
.idea/**/shelf

# Generated files
.idea/**/contentModel.xml

# Sensitive or high-churn files
.idea/**/dataSources/
.idea/**/dataSources.ids
.idea/**/dataSources.local.xml
.idea/**/sqlDataSources.xml
.idea/**/dynamic.xml
.idea/**/uiDesigner.xml
.idea/**/dbnavigator.xml

# File-based project format
*.iws