Agda-2.3.2.2: src/prototyping/mixfix/.cvsignore

lam lambda *.hi *.o .*.swp