Mercurial > urweb

diff lib/top.urs @ 422:0ce90d4d9ae7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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.urs	Thu Oct 23 18:18:51 2008 -0400
+++ b/lib/top.urs	Thu Oct 23 18:45:10 2008 -0400
@@ -1,3 +1,5 @@
+val not : bool -> bool
+
 con idT = fn t :: Type => t
 con record = fn t :: {Type} => $t
 con fstTT = fn t :: (Type * Type) => t.1