Fix the fixity declaration of _!|>_ (#207)

yxdai-nju · yxdai-nju · commit 3342ddce9148 · 2022-09-12T21:51:54.000+08:00
diff --git a/src/Function/Strict.agda b/src/Function/Strict.agda
@@ -20,7 +20,7 @@ private
     a b : Level
     A B : Set a
 
-infixl 0 _!|>′_ _!|>′_
+infixl 0 _!|>_ _!|>′_
 infixr -1 _$!_ _$!′_
 
 ------------------------------------------------------------------------
