Packages tagged folding
1 package has this tag.
[Merge tag] (trustees only)Related tags: fold (1), library (1), mit (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| deferred-folds | 415 | 0.0 | 15 | Abstractions over deferred folds | (fold, folding, library, mit) | 2023-12-06 | 0.9.18.6 | NikitaVolkov |