dovin-0.2: A proof assistant for Magic: The Gathering puzzles.
Solutions.UltimateMasters
sacrificeToAltar :: ManaString -> CardName -> ExceptT String (ReaderT Env (StateT Board (WriterT [Step] Identity))) () Source #
solution :: GameMonad () Source #
manaAttribute :: Formatter Source #
formatter :: Step -> Formatter Source #
oldFormatter :: (Eq a, Num a) => a -> Formatter Source #