gistfile1.txt

import Data.Vect

create_empties : Vect n (Vect 0 elem)
create_empties = replicate _ []

transpose_mat : Vect m (Vect n elem) -> Vect n (Vect m elem)
transpose_mat [] = create_empties
transpose_mat (x :: xs) = let xs_trans = transpose_mat xs in
                              zipWith (::) x xs_trans

addMatrix : Num elem => Vect m (Vect n elem) -> Vect m (Vect n elem) -> Vect m (Vect n elem)
addMatrix [] [] = []
addMatrix (x :: xs) (y :: ys) = zipWith (+) x y :: addMatrix xs ys

dotProduct : Num a => Vect m a -> Vect m a -> a
dotProduct xs ys = sum (zipWith (*) xs ys)

multMatrixHelper2 : Num elem => (x : Vect m elem) -> (ys : Vect p (Vect m elem)) -> Vect p elem
multMatrixHelper2 x [] = []
multMatrixHelper2 x (y :: ys) = dotProduct x y :: multMatrixHelper2 x ys

multMatrixHelper : Num elem => (xs : Vect n (Vect m elem)) -> (ys_trans : Vect p (Vect m elem)) -> Vect n (Vect p elem)
multMatrixHelper xs [] = replicate _ []
multMatrixHelper [] ys = []
multMatrixHelper (x :: xs) ys = multMatrixHelper2 x ys :: multMatrixHelper xs ys

multMatrix : Num elem => Vect n (Vect m elem) -> Vect m (Vect p elem) -> Vect n (Vect p elem)
multMatrix xs ys = let ys_trans = transpose_mat ys in multMatrixHelper xs ys_trans

create_empties2 : Vect n (Vect 0 a)
create_empties2 {n = Z} = []
create_empties2 {n = (S k)} = [] :: create_empties2