# tinygrad.bend -- root of the tinygrad Bend port. Importing this file
# pulls in the full library; PROOF is included so no law ships open.
#
# NOTE: eager/tinygrad/autograd.bend is NOT part of the published package
# yet: its recursive backward cannot typecheck under Bend's affinity rules
# (a tensor is consumed once, but eager backward needs each node's value
# both for the parent kernel and for the child dispatch). The lazy path
# (tensor.bend's Bwd1/Bwd2 kernels) is the supported backward for now.

import Base
import ./tinygrad/nat.bend as Nat
import ./tinygrad/shape.bend as Sh
import ./tinygrad/tensor.bend as T
import ./PROOF.bend as Proof