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

Index - E

effectActionDovin.Types, Dovin.V1, Dovin.V2, Dovin
effectEnabledDovin.Types, Dovin.V1, Dovin.V2, Dovin
effectFilterDovin.Types, Dovin.V1, Dovin.V2, Dovin
EffectNameDovin.Types, Dovin.V1, Dovin.V2, Dovin
emptyBoardDovin.Types, Dovin.V1, Dovin.V2, Dovin
emptyCardDovin.Types, Dovin.V1, Dovin.V2, Dovin
emptyEnvDovin.Types, Dovin.V1, Dovin.V2, Dovin
enchantmentDovin.Attributes, Dovin.V1, Dovin.V2, Dovin
EndCombatDovin.Types, Dovin.V1, Dovin.V2, Dovin
EndStepDovin.Types, Dovin.V1, Dovin.V2, Dovin
Env 
1 (Type/Class)Dovin.Types, Dovin.V1, Dovin.V2, Dovin
2 (Data Constructor)Dovin.Types, Dovin.V1, Dovin.V2, Dovin
envActorDovin.Types, Dovin.V1, Dovin.V2, Dovin
envSBAEnabledDovin.Types, Dovin.V1, Dovin.V2, Dovin
envTemplateDovin.Types, Dovin.V1, Dovin.V2, Dovin
execMonadDovin.Monad
exertDovin.Actions, Dovin.V1, Dovin.V2, Dovin
exertedDovin.Attributes, Dovin.V1, Dovin.V2, Dovin
ExileDovin.Types, Dovin.V1, Dovin.V2, Dovin
exileDovin.Dump, Dovin.V1, Dovin.V2, Dovin
exileWhenLeaveStackDovin.Attributes, Dovin.V1, Dovin.V2, Dovin