1. Darin Morrison
  2. monoidal-setoid-categories

Commits

I have no commits, rendering me useless. Now I am sad.