wordsBy package:Agda

Split a list into sublists. Generalisation of the prelude function words. Same as wordsBy and wordsBy, but with the non-emptyness guarantee on the chunks. O(n).
words xs == wordsBy isSpace xs