packages feed

equational-reasoning 0.4.1.0 → 0.4.1.1

raw patch · 2 files changed

+2/−2 lines, 2 filesPVP: minor bump suggested

API additions: PVP suggests at least a minor version bump

API changes (from Hackage documentation)

+ Proof.Propositional: withWitness :: IsTrue b -> (b ~ True => r) -> r

Files

Proof/Propositional.hs view
@@ -8,7 +8,7 @@        ( type (/\), type (\/), Not, exfalso, orIntroL        , orIntroR, orElim, andIntro, andElimL        , andElimR, orAssocL, orAssocR-       , andAssocL, andAssocR, IsTrue(..)+       , andAssocL, andAssocR, IsTrue(..), withWitness        , Empty(..), withEmpty, withEmpty'        , refute        , Inhabited (..), withInhabited
equational-reasoning.cabal view
@@ -2,7 +2,7 @@ --  documentation, see http://haskell.org/cabal/users-guide/  name:                equational-reasoning-version:             0.4.1.0+version:             0.4.1.1 synopsis:            Proof assistant for Haskell using DataKinds & PolyKinds description:         A simple convenient library to write equational / preorder proof as in Agda. license:             BSD3