**/*.agdai
**/*.agda~