Idris2Doc
: string-search
Index
Default
Alternative
Black & White
Package string-search - Namespaces
Data.String.Search