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

Solutions.UltimateMasters

Documentation

oldFormatter :: (Eq a, Num a) => a -> Formatter Source #