initial public release; may not typecheck with current agda
Add agda specifics to .gitignore
monoidal-setoid-categories 0.0.1