Rename >>> to >->

anoma · Jun 21, 2024 · 4fb6c9c · 4fb6c9c
1 parent 7c008fb
commit 4fb6c9c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Stdlib/Function.juvix b/Stdlib/Function.juvix
@@ -50,8 +50,8 @@ syntax operator on lapp;
 on {A B C} (f : B → B → C) (g : A → B) (a b : A) : C :=
   f (g a) (g b);
 
-syntax operator >>> seq;
+syntax operator >-> seq;
 
 builtin seq
->>> : {A B : Type} → A → B → B
+>-> : {A B : Type} → A → B → B
   | x y := y;