discokitty (hackage): An educational implementation of the DisCoCat framework.
Keywords: gpl|language|library|category-theory|discocat|distributional-semantics