~/jendhub

def folds_go

mlbend-select@0.1.0.0 · main.bend:59

import mlbend-select@0.1.0.0/main.bend as MlbendSelect
import Base

59# The rows of every fold.
60def folds_go(+fs: List<&2, Nat>, k: Nat, +acc: List<&2, Fold>) -> List<&2, Fold>:
61  match k:
62    case 0n:
63      acc
64    case 1n++rest:
65      folds_go(fs, rest, Con{fold_of(fs, rest), acc})

Uses (4)

Used by (1)