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