bend-ml-tensor@0.1.2.0 checks

0x48e80e20946abebea50e06561806a40d

bend-ml-tensor: tensors with the shape in the TYPE. A shape error is a type error.

bend-ml-tensor@0.1.2.0 by nuxyel

Published

2026-10-04

Size

16,042 bytes, 2 files

License

MIT (LICENSE)

Declarations

2 laws (2 proved), 74 defs, 2 types

Import

import bend-ml-tensor@0.1.2.0/main.bend as Main
import 0x48e80e20946abebea50e06561806a40d/main.bend as Main

Modules

• main.bend 80 declarations, 2 laws — bend-ml-tensor: tensors with the shape in the TYPE. A shape error is a type error.

Other files

• LICENSE 1,072 bytes

Dependencies

• bend-ml-nat-lemmas@0.1.0.0 via main.bend: import bend-ml-nat-lemmas@0.1.0.0/main.bend as NL

Dependents

No package in this build imports it.

Status on bend 2.0.36