Commit a218b90b authored by Iavor S. Diatchki's avatar Iavor S. Diatchki
Browse files

Merge remote-tracking branch 'origin/master' into type-nats

parents a7324769 bd77f371
......@@ -376,7 +376,7 @@ deleteBy :: (a -> a -> Bool) -> a -> [a] -> [a]
deleteBy _ _ [] = []
deleteBy eq x (y:ys) = if x `eq` y then ys else y : deleteBy eq x ys
-- | The '\\' function is list difference ((non-associative).
-- | The '\\' function is list difference (non-associative).
-- In the result of @xs@ '\\' @ys@, the first occurrence of each element of
-- @ys@ in turn (if any) has been removed from @xs@. Thus
--
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment