X-Git-Url: http://git.lukelau.me/?p=timetravel.git;a=blobdiff_plain;f=Programs.hs;fp=Programs.hs;h=3f05aaa24da2b35ef94b1eeea4a62d60b9127bd1;hp=14f066bb17c4c8a74d4f0b57bf75f9ff54177c66;hb=e9fa657f1ea66a759f4eae7e58d46a1870c8783a;hpb=6b47555e9d897b72ec9683dfa1c321ce2e709851

diff --git a/Programs.hs b/Programs.hs
index 14f066b..3f05aaa 100644
--- 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))))))))))
+
+boolNot :: Statement
+boolNot = Print (Not (Const (B False)))