~/bend-docscommunity

0x0bf236f7 checks

0x0bf236f7bc3ba21b1b36cad3c0ecfa7c

no description

Anonymous package: import it by hash.

Other versions (2)
Published
2026-09-20
Size
304,173 bytes, 14 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 532 defs, 70 types

Import

import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/books.bend as Books
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/books_data.bend as Books_data
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/books_maps.bend as Books_maps
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/complete.bend as Complete
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/context.bend as Context
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/linkify.bend as Linkify
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/main.bend as Main
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/normalize.bend as Normalize
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/para_data.bend as Para_data
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/parse.bend as Parse
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/protect.bend as Protect
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/ref_token.bend as Ref_token
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/route.bend as Route
import 0x0bf236f7bc3ba21b1b36cad3c0ecfa7c/share.bend as Share

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.0 s
books_data.bendchecks ALL PROOFS CHECK0.9 s
books_maps.bendchecks ALL PROOFS CHECK1.2 s
complete.bendchecks ALL PROOFS CHECK1.2 s
context.bendchecks ALL PROOFS CHECK1.5 s
linkify.bendchecks ALL PROOFS CHECK1.6 s
main.bendchecks ALL PROOFS CHECK1.4 s
normalize.bendchecks ALL PROOFS CHECK0.7 s
para_data.bendchecks ALL PROOFS CHECK1.3 s
parse.bendchecks ALL PROOFS CHECK1.7 s
protect.bendchecks ALL PROOFS CHECK1.2 s
ref_token.bendchecks ALL PROOFS CHECK0.6 s
route.bendchecks ALL PROOFS CHECK0.7 s
share.bendchecks ALL PROOFS CHECK0.9 s