~/bend-docscommunity

0x2a08fdaf checks

0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba

no description

Anonymous package: import it by hash.

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

Import

import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/books.bend as Books
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/books_data.bend as Books_data
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/books_maps.bend as Books_maps
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/complete.bend as Complete
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/context.bend as Context
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/linkify.bend as Linkify
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/main.bend as Main
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/normalize.bend as Normalize
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/para_data.bend as Para_data
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/parse.bend as Parse
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/protect.bend as Protect
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/ref_token.bend as Ref_token
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/route.bend as Route
import 0x2a08fdaf2b3aa16ae55ed9f5bb4a08ba/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.2 s
books_data.bendchecks ALL PROOFS CHECK1.0 s
books_maps.bendchecks ALL PROOFS CHECK0.9 s
complete.bendchecks ALL PROOFS CHECK1.1 s
context.bendchecks ALL PROOFS CHECK1.5 s
linkify.bendchecks ALL PROOFS CHECK1.4 s
main.bendchecks ALL PROOFS CHECK2.1 s
normalize.bendchecks ALL PROOFS CHECK0.8 s
para_data.bendchecks ALL PROOFS CHECK1.0 s
parse.bendchecks ALL PROOFS CHECK1.9 s
protect.bendchecks ALL PROOFS CHECK0.8 s
ref_token.bendchecks ALL PROOFS CHECK0.7 s
route.bendchecks ALL PROOFS CHECK0.8 s
share.bendchecks ALL PROOFS CHECK1.0 s