@@ -40,3 +40,5 @@ main = do
41 assert (4 % (9 / 3) == 1) "4 % (9 / 3) == 1"
41 assert (4 % (9 / 3) == 1) "4 % (9 / 3) == 1"
42 assert ((4 % 9) / 2 == 2) "(4 % 9) / 2 == 2"
42 assert ((4 % 9) / 2 == 2) "(4 % 9) / 2 == 2"
44+ assert (not (1 < 0) == true) "not (1 < 0) == true"