dovin-0.2: A proof assistant for Magic: The Gathering puzzles. (Index - B)

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

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
_
All

Index - B

BaseCard
1 (Type/Class)	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
2 (Data Constructor)	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
BeginCombat	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
blankFormatter	Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin
blocked
1 (Function)	Solutions.RavnicaAllegiancePre2
2 (Function)	Solutions.RivalsOfIxalan7
Board
1 (Type/Class)	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
2 (Data Constructor)	Dovin.Types, Dovin.V1, Dovin.V2, Dovin
boardFormatter	Dovin.Formatting, Dovin.V1, Dovin.V2, Dovin