dovin-0.1.0.0: A proof assistant for Magic: The Gathering puzzles.
Solutions.ExplorersOfIxalanContest
solution :: GameMonad () Source #
damageFormatter :: Formatter Source #
formatter :: Int -> Formatter Source #