Packages tagged fold
1 package has this tag.
[Merge tag] (trustees only)Related tags: folding (1), library (1), mit (1)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
|---|---|---|---|---|---|---|
| deferred-folds | 424 | 0.0 | Abstractions over deferred folds | (fold, folding, library, mit) | 2022-06-20 | NikitaVolkov |