@@ -2,12 +2,12 @@ module Main
22
33%default total
44
5−codata Stream a = Nil | (::) a (Stream a)
5+codata Stream' a = Nil | (::) a (Stream' a)
66
7−countFrom : Int -> Stream Int
7+countFrom : Int -> Stream' Int
88countFrom x = x :: countFrom (x + 1)
99
10−take : Nat -> Stream a -> List a
10+take : Nat -> Stream' a -> List a
1111take Z _ = []
1212take (S n) (x :: xs) = x :: take n xs
1313take n [] = []