dovin-3.0.1: A proof assistant for Magic: The Gathering puzzles.
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Solutions.GuildsOfRavnica8
Documentation
solution
::
GameMonad
()
Source
#
formatter
::
Int
->
Formatter
Source
#