dovin-0.2: A proof assistant for Magic: The Gathering puzzles.

Index - H

HandDovin.Types, Dovin.V1, Dovin.V2, Dovin
hasAttributeDovin.Helpers, Dovin.V1, Dovin.V2, Dovin
hasteDovin.Attributes, Dovin.V1, Dovin.V2, Dovin
hexproofDovin.Attributes, Dovin.V1, Dovin.V2, Dovin
highTideCounterSolutions.ChannelFireball