Homec4science

gitignore/Agda.gitignore
master5ef20ca346f0e0ddb9deb6e…