SMCDEL.Examples.DrinkLogic
thirstyScene :: Int -> KnowScene Source #
thirstyF :: Int -> Form Source #
thirstyCheck :: Int -> Bool Source #