@hackage / yggdrasil

Executable specifications of composable cryptographic protocols.

Latest0.1.0.0

Dependencies

library:yggdrasil (5 dependencies)

@hackage / cryptonite Cryptography Primitives sink
- Version: >=0.25 && <0.26
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2 && <2.3
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.11 && <4.12
- License: BSD-3-Clause
@hackage / memory memory and related abstraction stuff
- Version: >=0.14 && <0.15
- License: BSD-3-Clause

test:spec (5 dependencies)