1 Sep
2006
1 Sep
'06
6:09 a.m.
On Fri, 1 Sep 2006, Ross Paterson wrote:
On Thu, Aug 31, 2006 at 06:34:35PM -0700, Clifford Beshers wrote:
These two jump to mind:
isSublistOf isSubsequenceOf
Sublist seems boringly accurate. Also, the definition could be
'isInfixOf' is not the name I would search for, but if I find it (say by Hoogle) I would know that I found the right one. It is just analogous to 'isPrefixOf' and 'isSuffixOf' and thus it gets my vote.