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

Index - G

gainAttributeDovin.Helpers, Dovin.V1, Dovin.V2, Dovin
gainLifeDovin.Dump, Dovin.V1, Dovin.V2, Dovin
GameMonadDovin.Types, Dovin.V1, Dovin.V2, Dovin
GraveyardDovin.Types, Dovin.V1, Dovin.V2, Dovin