idris-lang/Idris-dev — pull request #1293 by Heather (2014-06-07 20:17:46+00:00)
Title: isInfixOf

For now

- tested only `List` version
- no auto tests written