@hackage / equational-reasoning-induction

Proof assistant for Haskell using DataKinds & PolyKinds

Latest0.6.0.0

Dependencies

library:equational-reasoning-induction (5 dependencies)

@hackage / template-haskell Support library for Template Haskell
- Version: >=2.11 && <2.16
- License: BSD-3-Clause
@hackage / singletons Basic singleton types and definitions
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / th-extras A grab bag of functions for use with Template Haskell
- Version: >=0.0 && <0.1
- License: LicenseRef-PublicDomain
@hackage / semigroups Anything that associates
- Version: >=0.18 && <0.19
- License: BSD-3-Clause