~/bend-docscommunity

bendlib-kernel-list@1.0.0.0 checks

0xb5c8145e53a6a127d611f45f602666ec

bendlib-kernel-list: frozen step-list permutations over List, generic over -A: Data.

bendlib-kernel-list@1.0.0.0 by MuhDur

Published
2026-09-25
Size
12,767 bytes, 2 files
License
Apache-2.0 (LICENSE)
Declarations
0 laws (0 proved), 5 defs, 0 types

Import

import bendlib-kernel-list@1.0.0.0/list.bend as MList
import 0xb5c8145e53a6a127d611f45f602666ec/list.bend as MList

Modules

Other files

Dependencies

No imports from other hub packages.

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
list.bendchecks ALL PROOFS CHECK0.8 s