dovin-0.2: A proof assistant for Magic: The Gathering puzzles.
Solutions.RivalsOfIxalan7
blocked :: [Char] Source #
solution :: GameMonad () Source #
attributes :: Formatter Source #
formatter :: (Eq a, Num a) => a -> Formatter Source #
copyAttributes :: CardName -> CardName -> GameMonad () Source #