Mercurial > urweb

diff lib/ur/top.ur @ 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.ur	Tue Mar 10 15:17:23 2009 -0400
+++ b/lib/ur/top.ur	Tue Mar 10 16:38:38 2009 -0400
@@ -7,7 +7,7 @@
                       -> tf [] -> tf r
 
 structure Folder = struct
-    fun fold K (r ::: {K}) (fl : folder r) = fl
+    fun fold K (r :: {K}) (fl : folder r) = fl
 
     fun nil K (tf :: {K} -> Type)
             (f : nm :: Name -> v :: K -> r :: {K} -> tf r