dovin-0.2: A proof assistant for Magic: The Gathering puzzles.
Solutions.WarOfTheSpark2
dinosaur :: [Char] Source #
tricked :: [Char] Source #
solution :: GameMonad () Source #
attributes :: Formatter Source #
formatter :: p -> Formatter Source #