package.bend

bendtorch@1.0.1.0 · 10 lines · 0 definitions

1# The entry to publish: `bend package.bend --publish <name>@<version>` sends this file and everything it imports, so
2# every file of the package and its laws are here. Import the files themselves: <name>@<version>/main.bend, spec.bend,
3# tensor.bend, dtype.bend.
4import Base
5import bendtorch@1.0.1.0/main.bend as T
6import bendtorch@1.0.1.0/spec.bend as Spec
7import bendtorch@1.0.1.0/tensor.bend as TT
8import bendtorch@1.0.1.0/dtype.bend as D
9import bendtorch@1.0.1.0/LAWS.bend as Laws
10import bendtorch@1.0.1.0/PROOF.bend as Proof