@@ -112,7 +112,7 @@ binop op ce1@(C t1 s1 e1) ce2@(C t2 s2 e2) =
112112 ("||", Boolean True, _) -> Boolean True
113113 ("||", Boolean False, _) -> e2
114114
115− (":", _, _) -> let (C _ _ e) = cons ce1 ce2 in e
115+ ("::", _, _) -> let (C _ _ e) = cons ce1 ce2 in e
116116
117117 ("++", Str s1, Str s2) -> Str $ s1 ++ s2
118118 ("++", Str s1, Binop "++" (C _ _ (Str s2)) ce) ->
@@ -124,6 +124,8 @@ binop op ce1@(C t1 s1 e1) ce2@(C t2 s2 e2) =
124124 ("++", _, Data "Nil" []) -> e1
125125 ("++", Data "Cons" [h,t], _) -> Data "Cons" [h, noContext $ binop "++" t ce2]
126126
127+ ("|>", _, _) -> App ce2 ce1
128+ ("<|", _, _) -> App ce1 ce2
127129 ("$", _, _) -> App ce1 ce2
128130 (".", _, _) ->
129131 Lambda "x" (noContext $