dovin-0.2: A proof assistant for Magic: The Gathering puzzles.
Solutions.Example
solution :: GameMonad () Source #
formatter :: Step -> Formatter Source #
manaFormatter :: Formatter Source #