dovin-3.0.1: A proof assistant for Magic: The Gathering puzzles. (Index - R)

dovin-3.0.1: 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 - R

Red	Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
remove	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
removeAttribute	Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
requireCard	Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
resolve	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
resolveAetherflux	Solutions.ChannelFireball
resolvedCards	Dovin.Types, Dovin.V1
resolveEffects	Dovin.Effects
resolveHarpyTrigger	Solutions.RavnicaAllegiancePre2
resolveMentor	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
resolveTop	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
run	Dovin.Runner, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
runMonad	Dovin.Monad
runStateBasedActions	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin