monoidal-setoid-categories 0.0.1
added agda specifics to .gitignore