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

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 - R

remove	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
removeAttribute	Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin
requireCard	Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin
resolve	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
resolveAetherflux	Solutions.ChannelFireball
resolveHarpyTrigger	Solutions.RavnicaAllegiancePre2
resolveTop	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
run	Dovin.Dump, Dovin.V1, Dovin.V2, Dovin
runMonad	Dovin.Monad
runStateBasedActions	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin