Mercurial > urweb

diff lib/ur/top.urs @ 650:fcf0bd3d1667

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
BatchG demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 16:38:38 -0400
parents aa2290c32ce2
children e5894f0e541a
line wrap: on
line diff
--- a/lib/ur/top.urs	Tue Mar 10 15:17:23 2009 -0400
+++ b/lib/ur/top.urs	Tue Mar 10 16:38:38 2009 -0400
@@ -3,7 +3,7 @@
 con folder :: K --> {K} -> Type
 
 structure Folder : sig
-    val fold : K --> r ::: {K} -> folder r
+    val fold : K --> r :: {K} -> folder r
                -> tf :: ({K} -> Type)
                -> (nm :: Name -> v :: K -> r :: {K} -> tf r
                    -> [[nm] ~ r] => tf ([nm = v] ++ r))