@hackage / equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

Latest0.7.1.0

Dependencies

library:equational-reasoning (5 dependencies)

@hackage / template-haskell Support library for Template Haskell
- Version: >=2.11 && <2.25
- License: BSD-3-Clause
@hackage / void A Haskell 98 logically uninhabited data type
- Version: >=0.6 && <0.8
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.13 && <5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.9
- License: BSD-3-Clause
@hackage / th-desugar Functions to desugar Template Haskell
- Version: >=1.13 && <1.20
- License: BSD-3-Clause