c57269b · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Merge pull request #3983 from melted/fix_fasta

c57269bNiklas Larsson9 years ago

.gitignore+1

@@ -1,5 +1,6 @@

1# Build artefacts

2dist

3+dist-newstyle

3*.ibc

4*.ibc

4*.o

5*.o

5*.a

6*.a

benchmarks/fasta/fasta.idr−4

@@ -38,10 +38,6 @@ replicate : Int -> Char -> String

38replicate 0 c = ""

39replicate n c = singleton c <+> replicate (n-1) c

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)

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)