mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-11 08:55:23 +03:00
Fix fasta benchmark
It defined it's own scanl, leading to name clash
This commit is contained in:
parent
7d0263a617
commit
bf01486963
@ -38,10 +38,6 @@ replicate : Int -> Char -> String
|
||||
replicate 0 c = ""
|
||||
replicate n c = singleton c <+> replicate (n-1) c
|
||||
|
||||
scanl : (f : acc -> a -> acc) -> acc -> List a -> List acc
|
||||
scanl f q ls = q :: (case ls of
|
||||
[] => []
|
||||
x::xs => scanl f (f q x) xs)
|
||||
|
||||
accum : (Char,Double) -> (Char,Double) -> (Char,Double)
|
||||
accum (_,p) (c,q) = (c,p+q)
|
||||
|
Loading…
Reference in New Issue
Block a user