@@ -4,8 +4,8 @@ id = \x -> x
44flip :: forall a b c. (a -> b -> c) -> b -> a -> c
55flip = \f -> \b -> \a -> f a b
66
7−const :: forall a b. a -> b -> a
8−const = \a -> \b -> a
7+konst :: forall a b. a -> b -> a
8+konst = \a -> \b -> a
99
1010(|>) :: forall a b c. (a -> b) -> (b -> c) -> a -> c
1111(|>) = \f -> \g -> \a -> g (f a)
@@ -110,8 +110,8 @@ concatMap = \as -> \f -> do
110110
111111extern filter :: forall a. [a] -> (a -> Boolean) -> [a]
112112
113−null :: forall a. [a] -> Boolean
114−null = \as -> case as of
113+empty :: forall a. [a] -> Boolean
114+empty = \as -> case as of
115115 [] -> true
116116 _ -> false
117117