Agda-2.3.2.2: notes/typechecking/.cvsignore

*.ps .*.swp
*.pdf