38 lines
388 B
Text
38 lines
388 B
Text
## 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-*/
|