git.iko.soy/Idris-dev
on master help sign in
Fix fasta benchmark
bf01486Niklas Larsson
benchmarks/fasta/fasta.idr−4
compare with master
unifiedsplit
@@ -38,10 +38,6 @@ replicate : Int -> Char -> String
38replicate 0 c = ""
38replicate 0 c = ""
39replicate n c = singleton c <+> replicate (n-1) c
39replicate n c = singleton c <+> replicate (n-1) c
40
40
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)
45
41
46accum : (Char,Double) -> (Char,Double) -> (Char,Double)
42accum : (Char,Double) -> (Char,Double) -> (Char,Double)
47accum (_,p) (c,q) = (c,p+q)
43accum (_,p) (c,q) = (c,p+q)