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

Index - S

sacrificeDovin.Dump, 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.RivalsOfIxalan7
12 (Function)Solutions.UltimateMasters
someFuncLib
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
stepDovin.Actions, Dovin.V1, Dovin.V2, Dovin
stormDovin.Attributes, Dovin.V1, Dovin.V2, Dovin
summonedDovin.Attributes, Dovin.V1, Dovin.V2, Dovin