@@ -38,10 +38,6 @@ replicate : Int -> Char -> String
3838replicate 0 c = ""
3939replicate n c = singleton c <+> replicate (n-1) c
4040
41−scanl : (f : acc -> a -> acc) -> acc -> List a -> List acc
42−scanl f q ls = q :: (case ls of
43− [] => []
44− x::xs => scanl f (f q x) xs)
4541
4642accum : (Char,Double) -> (Char,Double) -> (Char,Double)
4743accum (_,p) (c,q) = (c,p+q)