0xab13df3d checks

0xab13df3d6c442b9408d79d186652b3aa

base List: reverse is involutive and an insertion sort orders (dupes

Anonymous package: import it by hash.

Published

2026-09-27

Size

1,369 bytes, 1 files

License

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

Declarations

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

Import

import 0xab13df3d6c442b9408d79d186652b3aa/foo.bend as Foo

Modules

• foo.bend 8 declarations, 8 laws — base List: reverse is involutive and an insertion sort orders (dupes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36