Skip to content
Snippets Groups Projects
Commit f405d3c8 authored by koen's avatar koen
Browse files

simplified imp

parent 7646a01d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
HelperFunctions.hs
+ 1
− 1
View file @ f405d3c8
......@@ -175,7 +175,7 @@ neg :: Exp -> Exp
neg = PreNot
imp :: Exp -> Exp -> Exp
e1 `imp` e2 = (e1 &* e2) |* neg e1
e1 `imp` e2 = neg e1 |* e2
(==*) :: Exp -> Exp -> Exp
e1 ==* e2 = BinOp e1 Equal e2
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment