cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.31.1.
--
-- see: https://github.com/sol/hpack
--
-- hash: 5489f953e454b40148d9ac7899bec3030961040eab5b3cf31f5b6d18f2efe6ba

name:           equational-reasoning-induction
version:        0.6.0.0
synopsis:       Proof assistant for Haskell using DataKinds & PolyKinds
description:    A simple convenient library to write equational / preorder proof as in Agda. This package depends on @singletons@ and generates induction schemes.
category:       Math
author:         Hiromi ISHII
maintainer:     konn.jinro_at_gmail.com
copyright:      (c) Hiromi ISHII 2013-2018
license:        BSD3
license-file:   LICENSE
tested-with:    GHC==8.0.2 GHC==8.2.2 GHC==8.4.1 GHC==8.6.3
build-type:     Simple

source-repository head
  type: git
  location: git://github.com/konn/equational-reasoning-induction.git

library
  exposed-modules:
      Proof.Induction
  other-modules:
      Proof.Internal.THCompat
      Paths_equational_reasoning_induction
  hs-source-dirs:
      src
  ghc-options: -Wall
  build-depends:
      base >=4 && <5
    , singletons
    , template-haskell >=2.11 && <2.16
    , th-extras ==0.0.*
  if impl(ghc <8.4)
    build-depends:
        semigroups ==0.18.*
  default-language: Haskell2010