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