diff options
Diffstat (limited to 'Data/Vector/Bisemimodule.agda')
| -rw-r--r-- | Data/Vector/Bisemimodule.agda | 2 |
1 files changed, 0 insertions, 2 deletions
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 *_) |