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
- core.bend 27 declarations
- lisp.bend 48 declarations
- main.bend 3 declarations
- stg.bend 32 declarations
- stg_c.bend 6 declarations
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| core.bend | checks | ALL PROOFS CHECK | 0.8 s |
| lisp.bend | checks | ALL PROOFS CHECK | 0.8 s |
| main.bend | checks | ALL PROOFS CHECK | 0.9 s |
| stg.bend | checks | ALL PROOFS CHECK | 0.8 s |
| stg_c.bend | checks | ALL PROOFS CHECK | 0.7 s |