4 packages found
Interfaces for category theory concepts.
This package needs license metadata
Interfaces for category theory concepts. (doc)
Interfaces for category theory concepts. (lib)
This package needs documentation
Interfaces for category theory concepts. (test)