diff lib/top.ur @ 422:0ce90d4d9ae7

Crud2 demo
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Oct 2008 18:45:10 -0400
parents ad7e854a518c
children 19d7f79cd584
line wrap: on
line diff
--- a/lib/top.ur	Thu Oct 23 18:18:51 2008 -0400
+++ b/lib/top.ur	Thu Oct 23 18:45:10 2008 -0400
@@ -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