| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Dovin.V2
Documentation
module Dovin.Dump
module Dovin.Actions
module Dovin.Attributes
module Dovin.Builder
module Dovin.Formatting
module Dovin.Helpers
module Dovin.Types
dovin-0.1.0.0: A proof assistant for Magic: The Gathering puzzles.
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Dovin.V2
module Dovin.Dump
module Dovin.Actions
module Dovin.Attributes
module Dovin.Builder
module Dovin.Formatting
module Dovin.Helpers
module Dovin.Types