.gitignore - univalence-to-funext - A derivation of function extensionality from the univalence axiom formalised in Agda

about summary refs log tree commit diff

path: root/.gitignore

blob: 138884c303a14c8ca4b5472a49d25dfb7e55b7e0 (plain)

*.agdai*.aux
*.log
*.toc
*.out
*.aux
*.agdai
*.synctex.gz
.#*
auto/*