Numeric.Tensor

data Dim ds

class Dimensions ds

headDim

tailDim

printCrazy

contraDimsType

coDimsType

contraDims

coDims

type Vec2

vec2

class TensorCalculus t ns ms

class Plus a

data Vector1 t

data Vector2 t

data Vector3 t

data Vector4 t

data VectorN t n

data Matrix1x1 t

data Matrix2x2 t

data MatrixNxM t n m

data NDArray t

type family SomeVector t (n :: Nat) = v | v -> t n where ...

type family SomeMatrix t (n :: Nat) (m :: Nat) = v | v -> t n m where ...

class AppendDim a b c