From 61549e3d703bdc5a017833a01febb9c46d95ec17 Mon Sep 17 00:00:00 2001 From: Jacques Comeaux Date: Tue, 7 Jul 2026 13:09:11 -0700 Subject: Update matrices and vectors --- Data/Vector/Bisemimodule.agda | 2 -- 1 file changed, 2 deletions(-) (limited to 'Data/Vector/Bisemimodule.agda') diff --git a/Data/Vector/Bisemimodule.agda b/Data/Vector/Bisemimodule.agda index e38536a..4121b91 100644 --- a/Data/Vector/Bisemimodule.agda +++ b/Data/Vector/Bisemimodule.agda @@ -32,8 +32,6 @@ private opaque - unfolding Vector - -- Scaling a vector from the left _⟨_⟩ : Carrier → Vector n → Vector n _⟨_⟩ r = map (r *_) -- cgit v1.2.3