@@ -4,8 +4,8 @@ id = \x -> x
4flip :: forall a b c. (a -> b -> c) -> b -> a -> c
4flip :: forall a b c. (a -> b -> c) -> b -> a -> c
5flip = \f -> \b -> \a -> f a b
5flip = \f -> \b -> \a -> f a b
7−const :: forall a b. a -> b -> a
7+konst :: forall a b. a -> b -> a
8−const = \a -> \b -> a
8+konst = \a -> \b -> a
10(|>) :: forall a b c. (a -> b) -> (b -> c) -> a -> c
10(|>) :: forall a b c. (a -> b) -> (b -> c) -> a -> c
11(|>) = \f -> \g -> \a -> g (f a)
11(|>) = \f -> \g -> \a -> g (f a)
@@ -110,8 +110,8 @@ concatMap = \as -> \f -> do
111extern filter :: forall a. [a] -> (a -> Boolean) -> [a]
111extern filter :: forall a. [a] -> (a -> Boolean) -> [a]
113−null :: forall a. [a] -> Boolean
113+empty :: forall a. [a] -> Boolean
114−null = \as -> case as of
114+empty = \as -> case as of
115 [] -> true
115 [] -> true
116 _ -> false
116 _ -> false