From 19dd48991efff9c4b9b8e2a129ec181608be7ca1 Mon Sep 17 00:00:00 2001
From: darkf <lw9k123@gmail.com>
Date: Tue, 17 Mar 2015 00:55:20 -0700
Subject: [PATCH] add not to std/op

---
 mods/std/op.lamb | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/mods/std/op.lamb b/mods/std/op.lamb
index 5b050d9..13c6835 100644
--- a/mods/std/op.lamb
+++ b/mods/std/op.lamb
@@ -15,6 +15,9 @@ neq(x,y) -> x != y.
 lt(x,y) -> x<y.
 gt(x,y) -> x>y.
 
+not(true) -> false.
+not(false) -> true.
+
 and(true,true) -> true.
 and(_,_) -> false.