idris-lang/Idris-dev — pull request #1299 by Heather (2014-06-09 04:49:47+00:00)
Title: isInfixOf for List

`isInfixOf` for List

- tested
- can't implement for `Vect` since there is no `tails`, how implement tails there?
- no auto tests written, since there are no tests for other (e.g. `isSuffixOf` etc)