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

Solutions

Documentation

all :: [([Char], GameMonad (), Step -> Formatter)] Source #