dovin-0.1.0.1: A proof assistant for Magic: The Gathering puzzles.
Solutions.GuildsOfRavnica3
solution :: GameMonad () Source #
formatter :: p -> Formatter Source #