dovin-3.0: A proof assistant for Magic: The Gathering puzzles.
Safe HaskellNone
LanguageHaskell2010

Dovin.Runner

Documentation

run :: (Step -> Formatter) -> GameMonad () -> IO () Source #