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

dovin-0.1.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

remove	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
removeAttribute	Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin
removeFromPlay	Dovin.Dump, Dovin.V1, Dovin.V2, Dovin
requireCard	Dovin.Helpers, Dovin.V1, Dovin.V2, Dovin
resetStrength	Dovin.Dump, Dovin.V1, Dovin.V2, Dovin
resolve	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
resolveAetherflux	Solutions.ChannelFireball
resolveTop	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
returnToHand	Dovin.Dump, Dovin.V1, Dovin.V2, Dovin
returnToPlay	Dovin.Dump, Dovin.V1, Dovin.V2, Dovin
run	Dovin.Dump, Dovin.V1, Dovin.V2, Dovin
runMonad	Dovin.Monad
runStateBasedActions	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
runVerbose	Dovin.Dump, Dovin.V1, Dovin.V2, Dovin