@hackage / why3

Haskell support for the Why3 input format.

Latest0.8

Dependencies

library:why3 (12 dependencies)

@hackage / deepseq Deep evaluation of data structures
- Version: >=1.3 && <1.5
- License: BSD-3-Clause
@hackage / monadLib A collection of monad transformers.
- Version: >=3.7 && <3.8
- License: ISC
@hackage / base Core data structures and operations
- Version: >=4.6 && <4.9
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.3 && <1.5
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.4 && <0.6
- License: BSD-3-Clause
@hackage / profunctors Profunctors
- Version: >=5.1 && <5.2
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2 && <1.3
- License: BSD-2-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10 && <0.11
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.2 && <1.3
- License: BSD-3-Clause
@hackage / pretty-show Tools for working with derived `Show` instances and generic inspection of values.
- Version: >=1.6 && <1.7
- License: MIT
@hackage / pretty Pretty-printing library
- Version: >=1.1 && <1.2
- License: BSD-3-Clause