Data.SBV.Examples.Puzzles.Counts

type Count

count

puzzle

counts