Documentation

type MyWorld = (Int, Int, Int) Source #

allStates :: [MyWorld] Source #

start :: EpistM MyWorld Source #

step1 :: EpistM MyWorld Source #

step2 :: EpistM MyWorld Source #

step3 :: EpistM MyWorld Source #

step4 :: EpistM MyWorld Source #

step5 :: EpistM MyWorld Source #

cherylIs :: Int -> DemoForm MyWorld Source #

weKnowIt :: DemoForm MyWorld Source #