remove redundant fixity declarations from SnocVect module

idris-community · Jan 21, 2025 · 19e5396 · 19e5396
1 parent c69fd2e
commit 19e5396
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/Data/SnocVect.idr b/src/Data/SnocVect.idr
@@ -17,9 +17,6 @@ data SnocVect : Nat -> Type -> Type where
 
 %name SnocVect sx, sy, sz
 
-export infixl 7 <><
-export infixr 6 <>>
-
 ||| 'fish': Action of lists on snoc-lists
 public export
 (<><) : SnocVect n a -> Vect m a -> SnocVect (n + m) a