style changes

This commit is contained in:
Gregory 2020-06-04 23:11:57 +03:00
parent dd98b216e0
commit bb7fd94dcd

View file

@ -27,5 +27,4 @@ fun empty lst = lst = []
fun exists elem lst = fun exists elem lst =
lst lst
|> filter (fn needle => elem = needle) |> filter (fn needle => elem = needle)
|> empty |> not o empty
|> not