Fix not

[timetravel.git] / Programs.hs

diff --git a/Programs.hs b/Programs.hs
index 14f066bb17c4c8a74d4f0b57bf75f9ff54177c66..3f05aaa24da2b35ef94b1eeea4a62d60b9127bd1 100644 (file)
--- a/Programs.hs
+++ b/Programs.hs
@@ -24,3 +24,6 @@ fibonacci = Seq (Assign "n" (Const (I 5)))
                                       (Seq (Assign "x" (Add (Var "x") (Var "y")))
                                             (Seq (Assign "y" (Var "x"))
                                                  (Assign "n" (Sub (Var "n") (Const (I 1))))))))))
                                       (Seq (Assign "x" (Add (Var "x") (Var "y")))
                                             (Seq (Assign "y" (Var "x"))
                                                  (Assign "n" (Sub (Var "n") (Const (I 1))))))))))

+
+boolNot :: Statement
+boolNot = Print (Not (Const (B False)))