.DS_Store
*.agdai
*.smt2
**/.koka/*
*.hi
*.o