yfyf/cat-arrows — pull request #9 by yfyf (2013-10-27 23:19:12+00:00)
Title: Freyd categories

Here we go. This took me forever. WIP, I guess.