jukebox 0.1.3 → 0.1.4

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

• Jukebox/Monotonox/ToFOF.hs +1/−1
• jukebox.cabal +1/−1

@@ -153,7 +153,7 @@     exists = \(Bind vs f) ->        let bound = foldr (/\) true (map guard (NameMap.toList vs))            guard v | mono (typ v) = true-                   | not (naked True v f) = true+--                   | not (naked True v f) = true                    | otherwise = Literal (Pos (Tru (ps (typ v) :@: [Var v])))        in Exists (Bind vs (simplify bound /\ f)),     equals = \t u -> Literal (Pos (t :=: u)),

@@ -1,5 +1,5 @@ Name: jukebox-Version: 0.1.3+Version: 0.1.4 Cabal-version: >= 1.8 Build-type: Simple Author: Nick Smallbone