0x492532af checks

0x492532af6deb895462a134d016a53dfe

Shape specialisation: a non-tail binary recursion on a Nat depth that the leaf gives as a literal. WGSL has no

Anonymous package: import it by hash.

Published

2026-10-10

Size

15,442 bytes, 4 files

License

Apache-2.0 (LICENSE)

Declarations

0 laws (0 proved), 10 defs, 0 types

Import

import 0x492532af6deb895462a134d016a53dfe/spec_tree.bend as Spec_tree
import 0x492532af6deb895462a134d016a53dfe/spin_collatz.bend as Spin_collatz
import 0x492532af6deb895462a134d016a53dfe/wgsl_flat_emitter.bend as Wgsl_flat_emitter

Modules

• spec_tree.bend 5 declarations — Shape specialisation: a non-tail binary recursion on a Nat depth that the leaf gives as a literal. WGSL has no
• spin_collatz.bend 4 declarations — Collatz steps, summed over a fork tree: the leaf is a flat tail loop (spin), the tree a bang.
• wgsl_flat_emitter.bend 1 declarations — wgsl-flat-emitter 0.1.0.0 (entry file wgsl_flat_emitter.bend): the Bend programs of the WGSL flat-kernel lane.

Other files

• LICENSE 11,381 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36