@@ -2,12 +2,12 @@ module Main
3%default total
3%default total
5−codata Stream a = Nil | (::) a (Stream a)
5+codata Stream' a = Nil | (::) a (Stream' a)
7−countFrom : Int -> Stream Int
7+countFrom : Int -> Stream' Int
8countFrom x = x :: countFrom (x + 1)
8countFrom x = x :: countFrom (x + 1)
10−take : Nat -> Stream a -> List a
10+take : Nat -> Stream' a -> List a
11take Z _ = []
11take Z _ = []
12take (S n) (x :: xs) = x :: take n xs
12take (S n) (x :: xs) = x :: take n xs
13take n [] = []
13take n [] = []