dovin-3.0.1: A proof assistant for Magic: The Gathering puzzles.
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Dovin.Runner
Documentation
run
:: (
Step
->
Formatter
) ->
GameMonad
() ->
IO
()
Source
#