improve 0.2.2 → 0.2.3

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

• Language/ImProve/Core.hs +1/−1
• improve.cabal +1/−1

@@ -105,7 +105,7 @@   Assign   :: AllE a => V a -> E a -> Statement   Branch   :: E Bool -> Statement -> Statement -> Statement   Sequence :: Statement -> Statement -> Statement-  Theorem  :: Int -> Int -> [Int] -> E Bool -> Statement  -- ^ Theorem id depth lemmas expr+  Theorem  :: Int -> Int -> [Int] -> E Bool -> Statement -- Theorem id k lemmas expr   Assume   :: E Bool -> Statement   Label    :: Name -> Statement -> Statement   Null     :: Statement

@@ -1,5 +1,5 @@ name:    improve-version: 0.2.2+version: 0.2.3  category: Language, Formal Methods, Embedded