0x5f8aaa5a checks
0x5f8aaa5a5f52e3f77b0140072e47d78d
no description
Anonymous package: import it by hash.
Earlier versions (1)
- 0x71a250c2 2026-09-28
- Published
- 2026-10-07
- Size
- 42 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 1 defs, 0 types
Import
import 0x5f8aaa5a5f52e3f77b0140072e47d78d/good.bend as Good
Modules
- good.bend 1 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 |
|---|---|---|---|
| good.bend | checks | ALL PROOFS CHECK | 0.8 s |