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 |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
free-category | 18 | 0.0 | 1 | efficient data types for free categories and arrows | (algebra, category, category-theory, control, library, monads, mpl) | 2022-09-07 | 0.0.4.4 | coot |
product-profunctors | 50 | 0.0 | 10 | product-profunctors | (bsd3, category, control, library) | 2021-11-20 | 0.11.0.3 | tomjaguarpaw |