Packages tagged category
2 packages have this tag.
[Merge tag] (trustees only)Related tags: control (2), library (2), algebra (1), bsd3 (1), category-theory (1), monads (1), mpl (1)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
|---|---|---|---|---|---|---|
| free-category | 22 | 0.0 | efficient data types for free categories and arrows | (algebra, category, category-theory, control, library, monads, mpl) | 2021-03-28 | coot |
| product-profunctors | 93 | 0.0 | product-profunctors | (bsd3, category, control, library) | 2021-11-20 | tomjaguarpaw |