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
- list.bend 5 declarations — bendlib-kernel-list: frozen step-list permutations over List, generic over -A: Data.
Other files
- LICENSE 11,381 bytes
Dependencies
No imports from other hub packages.
Dependents
- bend-mathlib@0.7.2.0 via
perm.bend: import 0xb5c8145e53a6a127d611f45f602666ec/list.bend as K - bend-mathlib@0.7.1.0 via
perm.bend: import 0xb5c8145e53a6a127d611f45f602666ec/list.bend as K - bend-mathlib@0.7.0.0 via
perm.bend: import 0xb5c8145e53a6a127d611f45f602666ec/list.bend as K - bend-mathlib@0.6.0.0 via
perm.bend: import 0xb5c8145e53a6a127d611f45f602666ec/list.bend as K - bend-mathlib@0.5.0.0 via
perm.bend: import 0xb5c8145e53a6a127d611f45f602666ec/list.bend as K - bend-mathlib@0.4.0.0 via
perm.bend: import 0xb5c8145e53a6a127d611f45f602666ec/list.bend as K - bend-mathlib@0.3.0.0 via
perm.bend: import 0xb5c8145e53a6a127d611f45f602666ec/list.bend as K
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| list.bend | checks | ALL PROOFS CHECK | 0.8 s |