equational-reasoning 0.0.4.0 → 0.0.4.1
raw patch · 1 files changed
+9/−5 lines, 1 filesdep ~basedep ~template-haskell
Dependency ranges changed: base, template-haskell
Files
equational-reasoning.cabal view
@@ -2,23 +2,27 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: equational-reasoning-version: 0.0.4.0+version: 0.0.4.1 synopsis: Proof assistant for Haskell using DataKinds & PolyKinds--- description: +description: A simple convenient library to write equational / preorder proof as in Agda. license: BSD3 license-file: LICENSE author: Hiromi ISHII maintainer: konn.jinro_at_gmail.com--- copyright: +copyright: (c) Hiromi ISHII 2013-2014 category: Math build-type: Simple cabal-version: >=1.8 +source-repository head+ type: git+ location: git://github.com/konn/equational-reasoning-in-haskell.git+ library exposed-modules: Proof.Equational, Proof.Propositional, Proof.Induction- build-depends: base == 4.6.*+ build-depends: base >= 4 && < 5 , singletons == 0.8.* , tagged == 0.6.* , void == 0.6.*- , template-haskell == 2.8.*+ , template-haskell >= 2.8 && < 2.11