idris-lang/Idris-dev — pull request #1285 by Heather (2014-06-05 08:10:19+00:00)
Title: foldl1 implementation

``` haskell
let fld = foldl1 (\a, b => b) slines
```

Should tests for it be added or maybe tests for `foldl` is enough?