0x0f883c5f open laws/TODOs
0x0f883c5f54a94db1185081a5171fcd7d
no description
Anonymous package: import it by hash.
- Published
- 2026-09-09
- Size
- 464 bytes, 4 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 1 laws (0 proved), 4 defs, 0 types
Import
import 0x0f883c5f54a94db1185081a5171fcd7d/lib/note.bend as Note import 0x0f883c5f54a94db1185081a5171fcd7d/src/lib/util.bend as Util import 0x0f883c5f54a94db1185081a5171fcd7d/src/main.bend as Main
Modules
- lib/note.bend 1 declarations
- src/lib/util.bend 2 declarations, 1 laws
- src/main.bend 2 declarations
Other files
- src/effs/rev.js 69 bytes
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 |
|---|---|---|---|
| lib/note.bend | checks | ALL PROOFS CHECK | 0.7 s |
| src/lib/util.bend | open laws/TODOs | 1 TODO found.outputSOME PROOFS FAIL Error: 1 TODO found. The code is incomplete, and not a valid proof yet. | 0.6 s |
| src/main.bend | open laws/TODOs | 1 TODO found.outputSOME PROOFS FAIL Error: 1 TODO found. The code is incomplete, and not a valid proof yet. | 0.7 s |