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