Data.SBV.Examples.Puzzles.Birthday

Types and values

type Month

type Day

may

june

july

august

Helper predicates

valid

existsDay

forallDay

existsMonth

forallMonth

The puzzle

puzzle

cheryl