dovin-3.0.1: A proof assistant for Magic: The Gathering puzzles.
Safe HaskellNone
LanguageHaskell2010

Solutions.GuildsOfRavnica3

Documentation

solution :: GameMonad () Source #

whenMatch :: CardName -> CardMatcher -> GameMonad () -> GameMonad () Source #

formatter :: p -> Formatter Source #