dovin-0.2: A proof assistant for Magic: The Gathering puzzles.
Solutions.GuildsOfRavnica9
solution :: GameMonad () Source #
formatter :: Int -> Formatter Source #
triggerStorm :: (Int -> GameMonad ()) -> GameMonad () Source #