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

Safe Haskell	None
Language	Haskell2010

Solutions.RavnicaAllegiance3

Documentation

solution :: GameMonad () Source #

attributes :: Formatter Source #

formatter :: p -> Formatter Source #