~/bend-docscommunity

0x9fc0cec7 checks

0x9fc0cec754888f0fecabce899ddf2ee5

no description

Anonymous package: import it by hash.

Published
2026-09-23
Size
19,797 bytes, 5 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 38 defs, 11 types

Import

import 0x9fc0cec754888f0fecabce899ddf2ee5/core.bend as Core
import 0x9fc0cec754888f0fecabce899ddf2ee5/lisp.bend as Lisp
import 0x9fc0cec754888f0fecabce899ddf2ee5/main.bend as Main
import 0x9fc0cec754888f0fecabce899ddf2ee5/stg.bend as Stg
import 0x9fc0cec754888f0fecabce899ddf2ee5/stg_c.bend as Stg_c

Modules

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
core.bendchecks ALL PROOFS CHECK0.8 s
lisp.bendchecks ALL PROOFS CHECK0.8 s
main.bendchecks ALL PROOFS CHECK0.9 s
stg.bendchecks ALL PROOFS CHECK0.8 s
stg_c.bendchecks ALL PROOFS CHECK0.7 s