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

Safe Haskell	None
Language	Haskell2010

Solutions.WarOfTheSpark2

Documentation

dinosaur :: [Char] Source #

solution :: GameMonad () Source #

attributes :: Formatter Source #

formatter :: p -> Formatter Source #