@hackage dovin0.1.0.1

A proof assistant for Magic: The Gathering puzzles.

Please see the README on GitHub at https://github.com/xaviershay/dovin#dovin