equational-reasoning 0.2.0.1 → 0.2.0.2

raw patch · 2 files changed

+6/−1 lines, 2 files

Files

• Proof/Equational.hs +5/−0
• equational-reasoning.cabal +1/−1

@@ -166,8 +166,13 @@ coerce' Refl a = unsafeCoerce a {-# INLINE coerce' #-} +#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 707 class Proposition (f :: k -> *) where+  type OriginalProp (f :: k -> *) (n :: k) :: *    +#else+class Proposition f where   type OriginalProp f n :: *+#endif   unWrap :: f n -> OriginalProp f n   wrap   :: OriginalProp f n -> f n 

@@ -2,7 +2,7 @@ --  documentation, see http://haskell.org/cabal/users-guide/  name:                equational-reasoning-version:             0.2.0.1+version:             0.2.0.2 synopsis:            Proof assistant for Haskell using DataKinds & PolyKinds description:         A simple convenient library to write equational / preorder proof as in Agda. license:             BSD3