packages feed

Agda-2.3.2.2: notes/talks/Types07/.cvsignore

*.pdf *.nav *.out *.ps *.snm *.toc
.*.swp
.*.vim