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

Index - S

sacrificeDovin.Actions, Dovin.V1, Dovin.V2, Dovin
sacrificeToAltarSolutions.UltimateMasters
SecondMainDovin.Types, Dovin.V1, Dovin.V2, Dovin
setDovin.Prelude
setAttributeDovin.Helpers, Dovin.V1, Dovin.V2, Dovin
setLifeDovin.Dump, Dovin.V1, Dovin.V2, Dovin
snappedSolutions.ChannelFireball
solution 
1 (Function)Solutions.ChannelFireball
2 (Function)Solutions.Core19_9
3 (Function)Solutions.Dominaria5
4 (Function)Solutions.Example
5 (Function)Solutions.ExplorersOfIxalanContest
6 (Function)Solutions.GuildsOfRavnica1
7 (Function)Solutions.GuildsOfRavnica3
8 (Function)Solutions.GuildsOfRavnica8
9 (Function)Solutions.GuildsOfRavnica9
10 (Function)Solutions.GuildsOfRavnicaPre2
11 (Function)Solutions.RavnicaAllegiance3
12 (Function)Solutions.RavnicaAllegiance4
13 (Function)Solutions.RavnicaAllegiance5
14 (Function)Solutions.RavnicaAllegiance7
15 (Function)Solutions.RavnicaAllegiancePre2
16 (Function)Solutions.RivalsOfIxalan7
17 (Function)Solutions.UltimateMasters
18 (Function)Solutions.WarOfTheSpark2
sorceryDovin.Attributes, Dovin.V1, Dovin.V2, Dovin
spellCountSolutions.Core19_9
spellCounterSolutions.ChannelFireball
spendManaDovin.Actions, Dovin.V1, Dovin.V2, Dovin
spliceDovin.Actions, Dovin.V1, Dovin.V2, Dovin
StackDovin.Types, Dovin.V1, Dovin.V2, Dovin
stackDovin.Types, Dovin.V1, Dovin.V2, Dovin
stackFormatterDovin.Formatting, Dovin.V1, Dovin.V2, Dovin
Step 
1 (Type/Class)Dovin.Types, Dovin.V1, Dovin.V2, Dovin
2 (Data Constructor)Dovin.Types, Dovin.V1, Dovin.V2, Dovin
stepDovin.Actions, Dovin.V1, Dovin.V2, Dovin
stepForkDovin.Types, Dovin.V1, Dovin.V2, Dovin
stepIdDovin.Types, Dovin.V1, Dovin.V2, Dovin
StepIdentifierDovin.Types, Dovin.V1, Dovin.V2, Dovin
stepLabelDovin.Types, Dovin.V1, Dovin.V2, Dovin
stepNumberDovin.Types, Dovin.V1, Dovin.V2, Dovin
stepStateDovin.Types, Dovin.V1, Dovin.V2, Dovin
stormDovin.Attributes, Dovin.V1, Dovin.V2, Dovin
summonedDovin.Attributes, Dovin.V1, Dovin.V2, Dovin