module Calf.Computation.Tensor where open import Calf.Computation.Tensor.Base public open import Calf.Computation.Tensor.Closed public open import Calf.Computation.Tensor.Credit public open import Calf.Computation.Tensor.Free public