~/jendhub

def one_hot_count_of

mlbend-preprocess@0.1.0.0 · main.bend:286

import mlbend-preprocess@0.1.0.0/main.bend as MlbendPreprocess
import Base

286# The number of rows of a one-hot matrix.
287def one_hot_count_of(ys: List<&2, Nat>) -> Nat:
288  match ys:
289    case Nil{}:
290      0n
291    case Con{h, t}:
292      (1n + one_hot_count_of(t) : Nat)

Uses (3)

Used by (1)