Skip to main content

Browse the archive

Raw File
.gitignore 
_build/
*~
*.agdai
.DS_Store
*.aux
*.blg
*.log
*.out
*.vtc
*.ptb
*.bbl
*.tar.gz
auto/
doc/TYPES2021/*.pdf
doc/TYPES2021/Demos
src/Everything.agda
back to top