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

Index - F

fightDovin.Dump, 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
forkDovin.Dump, Dovin.V1, Dovin.V2, Dovin
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.RivalsOfIxalan7
12 (Function)Solutions.UltimateMasters
forM_Dovin.Prelude