0xdf88d6b2 checks

0xdf88d6b259873c74c8d91fe09934de63

no description

Anonymous package: import it by hash.

Other versions (18)

0xa7cf27ec 2026-09-18 latest
0x498c837f 2026-09-18
0x4c137800 2026-09-18
0x36062a68 2026-09-18
0x697f24d2 2026-09-18
0x58fe9864 2026-09-17
0xbe30b4c1 2026-09-17
0x36850d3e 2026-09-17
0xfeda1cb3 2026-09-17
0x92b0674f 2026-09-17
0x4b7f9a03 2026-09-17
0xc6de6e52 2026-09-17
0x5af6678d 2026-09-17
0xcc241f12 2026-09-17
0xcc99578c 2026-09-17
0x3b8f9f54 2026-09-17
0x87443356 2026-09-17
0x831d2a84 2026-09-17

Published: 2026-09-17
Size: 8,972 bytes, 4 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 13 laws (13 proved), 22 defs, 0 types

Import

import 0xdf88d6b259873c74c8d91fe09934de63/LAWS.bend as LAWS
import 0xdf88d6b259873c74c8d91fe09934de63/PROOF.bend as PROOF
import 0xdf88d6b259873c74c8d91fe09934de63/lib.bend as Lib
import 0xdf88d6b259873c74c8d91fe09934de63/seal.bend as Seal

Modules

LAWS.bend 12 declarations, 12 laws
PROOF.bend 0 declarations
lib.bend 23 declarations, 1 laws — Parse — tiny String parser combinators for Bend.
seal.bend 0 declarations — Seal — publish entry so LAWS+PROOF ship with the package.

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
LAWS.bend	open laws/TODOs	12 TODOs found. Checked alone, a law without a def is a TODO; all of them are proved in files that check, so the package counts this file as checks. output SOME PROOFS FAIL Error: 12 TODOs found. The code is incomplete, and not a valid proof yet.	0.9 s
PROOF.bend	checks	ALL PROOFS CHECK	0.7 s
lib.bend	checks	ALL PROOFS CHECK	0.7 s
seal.bend	checks	ALL PROOFS CHECK	0.8 s