def naturals

stelliferous@0.0.2.0 · tensor_layout.bend:20

import stelliferous@0.0.2.0/tensor_layout.bend as TensorLayout

import Base

20def naturals(values: List<&2,U32>) -> List<&2,Nat>:
21  match values:
22    case []: []
23    case value <> rest: U32.to_nat(value) <> naturals(rest)

Uses (4)

Used by (1)

stelliferous@0.0.2.0/tensor_layout:transpose