~/bend-docscommunity

0x69c99c0f checks

0x69c99c0f096dfc2091a8d0dd318160ab

no description

Anonymous package: import it by hash.

Other versions (2)
Published
2026-09-20
Size
57,839 bytes, 4 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 90 defs, 10 types

Import

import 0x69c99c0f096dfc2091a8d0dd318160ab/books.bend as Books
import 0x69c99c0f096dfc2091a8d0dd318160ab/books_data.bend as Books_data
import 0x69c99c0f096dfc2091a8d0dd318160ab/main.bend as Main
import 0x69c99c0f096dfc2091a8d0dd318160ab/parse.bend as Parse

Modules

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
books.bendchecks ALL PROOFS CHECK1.1 s
books_data.bendchecks ALL PROOFS CHECK1.1 s
main.bendchecks ALL PROOFS CHECK1.3 s
parse.bendchecks ALL PROOFS CHECK0.8 s