tpdb 0.8.3 → 0.8.4

raw patch · 2 files changed

+2/−4 lines, 2 files

Files

• TPDB/Rainbow/Proof/Type.hs +1/−3
• tpdb.cabal +1/−1

@@ -59,9 +59,7 @@ 	        , mi_end :: T.UTCTime                 -- , mi_int :: [ (k , Mi_Fun a ) ]                   , mi_int :: [ (k ,  f a ) ]-                }--instance Typeable  (Interpretation f )+                }   deriving Typeable   data Domain = Natural | Arctic | Arctic_Below_Zero | Tropical      deriving ( Show, Eq, Ord, Typeable )

@@ -1,5 +1,5 @@ Name: tpdb-Version: 0.8.3+Version: 0.8.4 Author: Johannes Waldmann Maintainer: Johannes Waldmann Category: Logic