libcspm-0.1.2: A library providing a parser, type checker and evaluator for CSPM.
Util.List
Synopsis
noDups :: Eq a => [a] -> BoolSource
Returns true iff the list has no duplicates.