~/jendhub

def number.pow10

gralha-text-scan@0.1.0.1 · scan.bend:167

import gralha-text-scan@0.1.0.1/scan.bend as Scan
import Base

167def number.pow10(n: Nat, +acc: F32) -> F32:
168  match n:
169    case 0n: acc
170    case 1n+d: number.pow10(d, (acc * 10.0 : F32))

Uses (3)

Used by (1)