Data.SBV.Examples.Queries.GuessNumber
guess
play