~/bend-docscommunity

0x3db8fc3a checks

0x3db8fc3ab5ba012b34ead11a441dd57c

no description

Anonymous package: import it by hash.

Earlier versions (3)
Published
2026-09-20
Size
280,617 bytes, 13 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 412 defs, 67 types

Import

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