@hackage equational-reasoning-induction dependencies

5 results

library:equational-reasoning-induction (5 dependencies)

@hackage/template-haskell

Support library for Template Haskell

BSD-3-Clause>=2.11 && <2.16

@hackage/singletons

Basic singleton types and definitions

@hackage/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/th-extras

A grab bag of functions for use with Template Haskell

LicenseRef-PublicDomain>=0.0 && <0.1

@hackage/semigroups

Anything that associates

BSD-3-Clause>=0.18 && <0.19