@hackage / dovin

A proof assistant for Magic: The Gathering puzzles.

Latest3.0.1

Dependencies

library:dovin (8 dependencies)

@hackage / lens Lenses, Folds and Traversals
- Version:
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / hashable A class for types that can be converted to a hash value
- Version:
- License: BSD-3-Clause
@hackage / split Combinator library for splitting lists.
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version:
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version:
- License: BSD-2-Clause

executable:dovin (9 dependencies)

test:dovin-test (13 dependencies)