.gitignore - lambda - Fundamental objects and results in the untyped lambda calculus.

about summary refs log tree commit diff

path: root/.gitignore

blob: d49d37c11dd7e894f5ae2521ed192bd442db22f7 (plain)

*.aux
*.glob
*.vo
*.vok
*.vos
*~
.CoqMakefile.d
.lia.cache
CoqMakefile
CoqMakefile.conf