From b887dcf43ab2e92d31eaead41398c639fe36edd5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 23 Oct 2008 18:45:10 -0400
Subject: Crud2 demo

---
 lib/top.ur | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/top.ur')

diff --git a/lib/top.ur b/lib/top.ur
index 91cab991..0bc345de 100644
--- a/lib/top.ur
+++ b/lib/top.ur
@@ -1,3 +1,5 @@
+fun not b = if b then False else True
+
 con idT (t :: Type) = t
 con record (t :: {Type}) = $t
 con fstTT (t :: (Type * Type)) = t.1
-- 
cgit v1.2.3