2 packages found
A category theory toolkit for Racket.
This package needs documentation
Packages for studying the connections between Qi and Category Theory.