Fix example code for interpret function.

beastaugh · Dec 17, 2012 · c727cba · c727cba
1 parent 6f09ecf
commit c727cba
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Data/Logic/Propositional/Core.hs b/src/Data/Logic/Propositional/Core.hs
@@ -70,8 +70,8 @@ type Mapping = Map Var Bool
 -- expression below would evaluate to @False@.
 --
 -- > interpret
--- >     (Conjunction (Variable "A") (Variable "B"))
--- >     (fromList [("A", True), ("B", False)])
+-- >     (Conjunction (Variable $ Var 'a') (Variable $ Var 'b'))
+-- >     (fromList [(Var 'a', True), (Var 'b', False)])
 interpret :: Expr -> Mapping -> Bool
 interpret (Variable      v)         vs = fromMaybe False (lookup v vs)
 interpret (Negation      expr)      vs = not $ interpret expr vs