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

Index - F

fightDovin.Actions, Dovin.V1, Dovin.V2, Dovin
FirstMainDovin.Types, Dovin.V1, Dovin.V2, Dovin
firststrikeDovin.Attributes, Dovin.V1, Dovin.V2, Dovin
FirstStrikeDamageDovin.Types, Dovin.V1, Dovin.V2, Dovin
flashDovin.Attributes, Dovin.V1, Dovin.V2, Dovin
flashbackDovin.Actions, Dovin.V1, Dovin.V2, Dovin
flashbackSnappedSolutions.ChannelFireball
flyingDovin.Attributes, Dovin.V1, Dovin.V2, Dovin
foldMDovin.Prelude
forCardsDovin.Helpers, Dovin.V1, Dovin.V2, Dovin
fork 
1 (Function)Dovin.Actions, Dovin.V2, Dovin
2 (Function)Dovin.Dump, Dovin.V1
formatCardDovin.Formatting, Dovin.V1, Dovin.V2, Dovin
formatCardsDovin.Formatting, Dovin.V1, Dovin.V2, Dovin
FormatMonadDovin.Formatting, Dovin.V1, Dovin.V2, Dovin
FormatterDovin.Types, Dovin.V1, Dovin.V2, Dovin
formatter 
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
forM_Dovin.Prelude