~/jendhub

def factorial

bend-collections-laws-math@1.0.0.0 · src/math/natural.bend:122

import bend-collections-laws-math@1.0.0.0/src/math/natural.bend as Natural
import Base

122def factorial(+n: Nat) -> Nat:
123  factorial_go(n, 1n)

Uses (2)

Used by (5)