yfyf/cat-arrows — pull request #10 by yfyf (2013-10-28 20:59:55+00:00)
Title: Further work on Freyd categories

Blergh.