First batch
gitignore: *.agda~