equational-reasoning 0.2.0.0 → 0.2.0.1

raw patch · 2 files changed

+4/−4 lines, 2 files

Files

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

@@ -1,6 +1,6 @@ {-# LANGUAGE CPP, DataKinds, FlexibleContexts, GADTs, PolyKinds, RankNTypes #-}-{-# LANGUAGE ScopedTypeVariables, StandaloneDeriving, TypeFamilies     #-}-{-# LANGUAGE TypeOperators, TypeSynonymInstances                       #-}+{-# LANGUAGE ScopedTypeVariables, StandaloneDeriving, TypeFamilies          #-}+{-# LANGUAGE TypeOperators, TypeSynonymInstances, KindSignatures            #-} module Proof.Equational ( #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 707                          (:~:)(..), (:=:)@@ -166,7 +166,7 @@ coerce' Refl a = unsafeCoerce a {-# INLINE coerce' #-} -class Proposition f where+class Proposition (f :: k -> *) where   type OriginalProp f n :: *   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.0+version:             0.2.0.1 synopsis:            Proof assistant for Haskell using DataKinds & PolyKinds description:         A simple convenient library to write equational / preorder proof as in Agda. license:             BSD3