@hackage / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

Latest1.0.1

Dependencies

library:hermit (19 dependencies)

@hackage / process Process libraries
- Version: >=1.1.0.2
- License: BSD-3-Clause
@hackage / kure Combinators for Strategic Programming
- Version: >=2.16.8 && <3.0
- License: BSD-3-Clause
@hackage / haskeline A command-line interface for user input, written in Haskell.
- Version: >=0.7.0.3
- License: BSD-3-Clause
@hackage / ghc The GHC API
- Version: ==7.10.3
- License: BSD-3-Clause
@hackage / Win32 A binding to Windows Win32 API.
- Version:
- License: BSD-3-Clause
@hackage / semigroups Anything that associates
- Version: >=0.18
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.2.0.0
- License: BSD-3-Clause
@hackage / fail Forward-compatible MonadFail class
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.8 && <5
- License: BSD-3-Clause
@hackage / ansi-terminal Simple ANSI terminal support
- Version: >=0.5.5
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version:
- License: BSD-3-Clause
@hackage / stm Software Transactional Memory
- Version: >=2.4
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2
- License: BSD-3-Clause
@hackage / temporary Portable temporary file and directory support
- Version: >=1.2.0.3
- License: BSD-3-Clause
@hackage / terminal-size Get terminal window height and width
- Version: >=0.3.2
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.4
- License: BSD-3-Clause
@hackage / data-default-class A class for types with a default value (compatibility shim)
- Version: >=0.0.1
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.0.0
- License: BSD-3-Clause
@hackage / marked-pretty Pretty-printing library, with scoping, based on pretty.
- Version: >=0.1
- License: BSD-3-Clause

executable:hermit (2 dependencies)

test:hermit-tests (10 dependencies)