Merge pull request #1314 from WithHat/master
Removed Unicode character from source file
commit2128f26bd4d6a3f54b0e110af942e42ef03dc1ba
authorDavid Christiansen <david@davidchristiansen.dk>
dateMon 16 Jun 2014, 09:05 (12 years ago)
parentcebd1b4157ffad
libs/prelude/Prelude/Stream.idr+1−1
@@ -85,7 +85,7 @@ scanl f acc (x :: xs) = acc :: scanl f (f acc x) xs
8585||| Produce a Stream of (corecursive) right folds of tails of the given Stream
8686||| @ f the combining function
8787||| @ xs the Stream to fold up
88−-- Reusing the head of the corecursion in the obvious way doesn’t productivity check
88+-- Reusing the head of the corecursion in the obvious way doesn't productivity check
8989scanr : (f : a -> Inf b -> b) -> (xs : Stream a) -> Stream b
9090scanr f (x :: Delay xs) = f x (foldr f xs) :: scanr f xs
9191