0x871fbaa3 checks
0x871fbaa34668931fc27fda009a9da24e
no description
Anonymous package: import it by hash.
Earlier versions (2)
- 0x69c99c0f 2026-09-20
- 0x9e60c0cd 2026-09-20
- Published
- 2026-09-20
- Size
- 64,003 bytes, 4 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 110 defs, 12 types
Import
import 0x871fbaa34668931fc27fda009a9da24e/books.bend as Books import 0x871fbaa34668931fc27fda009a9da24e/books_data.bend as Books_data import 0x871fbaa34668931fc27fda009a9da24e/main.bend as Main import 0x871fbaa34668931fc27fda009a9da24e/parse.bend as Parse
Modules
- books.bend 17 declarations
- books_data.bend 10 declarations — AUTO-GENERATED from grab-bcv books.ts — do not edit by hand
- main.bend 1 declarations — grab-bcv — Bend reimplementation of Bible reference parsing (OSIS + natural text)
- parse.bend 130 declarations
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 |
|---|---|---|---|
| books.bend | checks | ALL PROOFS CHECK | 1.2 s |
| books_data.bend | checks | ALL PROOFS CHECK | 1.0 s |
| main.bend | checks | ALL PROOFS CHECK | 1.1 s |
| parse.bend | checks | ALL PROOFS CHECK | 1.0 s |