Agda.Utils.List
type
Prefix
a
type
Suffix
a
maybePrefixMatch
wordsBy
chop
holes
distinct
allEqual
groupBy'
prop_groupBy'
groupOn
extractNthElement
prop_extractNthElement
tests