@@ -78,12 +78,12 @@ init' (x::xs) =
7878--------------------------------------------------------------------------------
7979
8080take : Nat -> List a -> List a
81−take Z xs = []
81+take O xs = []
8282take (S n) [] = []
8383take (S n) (x::xs) = x :: take n xs
8484
8585drop : Nat -> List a -> List a
86−drop Z xs = xs
86+drop O xs = xs
8787drop (S n) [] = []
8888drop (S n) (x::xs) = drop n xs
8989