.DS_Store
*.agdai
*.smt2
**/.koka/*