dovin-0.1.0.0: A proof assistant for Magic: The Gathering puzzles.
Solutions
all :: [([Char], GameMonad (), Int -> Formatter)] Source #