def noise_from

mlbend-generative@0.1.1.0 · main.bend:87

import Base

87# The noise of counter s, left numbers from index `from` on. The count
88# left is the recursion; the index rides after it.
89def noise_from(+s: Nat, +left: Nat, +from: Nat) -> List<&2, F32>:
90  match left:
91    case 0n:
92      Nil{}
93    case 1n+rest:
94      Con{gauss_at(s, from), noise_from(s, rest, (1n + from : Nat))}