diff options
Diffstat (limited to 'Data/Matrix/Vec.agda')
| -rw-r--r-- | Data/Matrix/Vec.agda | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Data/Matrix/Vec.agda b/Data/Matrix/Vec.agda index e0312d4..b191052 100644 --- a/Data/Matrix/Vec.agda +++ b/Data/Matrix/Vec.agda @@ -2,10 +2,9 @@ module Data.Matrix.Vec where -open import Relation.Binary.PropositionalEquality using (_≡_) -open import Level using (Level) open import Data.Nat using (ℕ) open import Data.Vec using (Vec; replicate; zipWith) +open import Level using (Level) private variable |