0x085d89db checks

0x085d89db9ee8a21865e959816bb20e5b

List.append, List.reverse and List.length — the lemmas Base does not ship.

Anonymous package: import it by hash.

Published

2026-09-19

Size

5,284 bytes, 1 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 6 defs, 0 types

Import

import 0x085d89db9ee8a21865e959816bb20e5b/list.bend as MList

Modules

• list.bend 6 declarations — List.append, List.reverse and List.length — the lemmas Base does not ship.

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36