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 | 2.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 | 82 | 0.0 | 10 | product-profunctors | (bsd3, category, control, library) | 2023-04-13 | 0.11.1.1 | tomjaguarpaw |