@hackage / zeno

An automated proof system for Haskell programs

Latest0.2.0.1

Dependencies

executable:zeno (12 dependencies)

@hackage / parallel Parallel programming library
- Version: >=3
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2
- License: BSD-3-Clause
@hackage / ghc-paths Knowledge of GHC's installation directories
- Version:
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.2
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / process Process libraries
- Version:
- License: BSD-3-Clause
@hackage / ghc The GHC API
- Version:
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause
@hackage / random Pseudo-random number generation
- Version:
- License: BSD-3-Clause