category theory libraries

Stream: general

[Scott Morrison]

@Kenny Lau, I've had a quick look at your library now. I don't have time right now, but I'd like to talk about some of the design differences sometime.