Apps.Sudoku.Extra
Contents
ordNub {A : Type} {{Ord A}} : List A -> List ASource#
hasDuplicates {A : Type} {{Ord A}} (xs : List A) : BoolSource#
allEq {A : Type} {{Eq A}} : List A -> BoolSource#
terminating chunksOf {A : Type} : Nat -> List A -> List (List A)Source#
surround (x : String) (xs : List String) : List StringSource#
Insert the first String at the beginning, in between, and at the end of the second list
intercalate (sep : String) (xs : List String) : StringSource#
Insert the first String in between the Strings in the second list and concatenates the result
