Exercises.Interactive

transpose_mat : Vect m (Vect n elem) -> Vect n (Vect m elem)

my_vect_map : (a -> b) -> Vect n a -> Vect n b

my_reverse : List a -> List a

my_map : (a -> b) -> List a -> List b

my_length : List a -> Nat

multMatrix : Num numType => Vect n (Vect m numType) -> Vect m (Vect p numType) -> Vect n (Vect p numType)

create_empties : Vect n (Vect (fromInteger 0) elem)

addMatrix : Num numType => Vect rows (Vect cols numType) -> Vect rows (Vect cols numType) -> Vect rows (Vect cols numType)