.gitignore

# MacOS directory cache
.DS_Store
# agda
*.agdai
# Emacs backup files
*~
# vscode configurations
.vscode/
# minted cache
_minted-main/
# output for main.tex
main.aux
main.log
main.out
# main.pdf
main.ptb
main.fdb_latexmk
main.fls
main.synctex.gz
# bibliography
main.bbl
main.blg
# generated by lhs2TeX
overview.tex
introduction.tex
contribution1.tex
contribution2.tex
contribution3.tex
partial-bidirectionalization.tex
relatedWork.tex
appendix.fold-proof.tex
appendix.list-proof.tex
appendix.mss.tex
# generated by latex
*.aux
*.gz
*.log
*.out
paper/main.pdf
popl21/appendix.agda-proof.tex
popl21/bidirectional-calculation.tex
popl21/example.tex
popl21/lens.tex
popl21/preliminary.tex
*.tex
popl21/bidirectional-calculation.tex
popl21/appendix.agda-proof.tex
popl21/bidirectional-calculation.tex
popl21/example.tex
popl21/lens.tex
popl21/preliminary.tex

jfp/main.pdf