def matrix_from

mlbend-report@0.1.0.0 · main.bend:86

import Base

86# The rows of the classes i to i+n-1: n rows, each of k cells, ascending.
87def matrix_from(+ys: List<&2, Nat>, +ps: List<&2, Nat>, +k: Nat, n: Nat, +i: Nat) ->
88  List<&2, List<&2, Nat>>:
89  match n:
90    case 0n:
91      Nil{}
92    case 1n+rest:
93      Con{row(ys, ps, k, i), matrix_from(ys, ps, k, rest, (1n + i : Nat))}