Removed Unicode character from source file
Unicode is discouraged according to
https://github.com/idris-lang/Idris-dev/pull/694#issuecomment-29559291
commit157ffad3e76da0605836e2c2c4df872ce0ae63bb
authorDominik Peteler <github@with-h.at>
dateFri 13 Jun 2014, 17:29 (12 years ago)
parentf48942b
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