@@ -47,7 +47,7 @@ takeCo (S n) (x::xs) = x :: takeCo n xs
47||| unfoldr (\b => if b == 0 then Nothing else Just (b, b-1)) 10
47||| unfoldr (\b => if b == 0 then Nothing else Just (b, b-1)) 10
50−unfoldr : (a -> Maybe (a, a)) -> a -> CoList a
50+unfoldr : (a -> Maybe (b, a)) -> a -> CoList b
51unfoldr f x =
51unfoldr f x =
52 case f x of
52 case f x of
53 Just (y, new_x) => y :: (unfoldr f new_x)
53 Just (y, new_x) => y :: (unfoldr f new_x)