Agda-2.3.2.2: notes/papers/iird/.cvsignore

*.ps .*.swp paper.tex