Mercurial > urweb

diff lib/ur/top.urs @ 627:f4f2b09a533a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
demo/sum working with manual folders
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Feb 2009 17:39:55 -0500
parents 588b9d16b00a
children 12b73f3c108e
line wrap: on
line diff
--- a/lib/ur/top.urs	Sun Feb 22 17:17:01 2009 -0500
+++ b/lib/ur/top.urs	Sun Feb 22 17:39:55 2009 -0500
@@ -6,6 +6,12 @@
                           -> fn [[nm] ~ r] => tf ([nm = v] ++ r))
                       -> tf [] -> tf r
 
+structure Folder : sig
+    val nil : K --> folder (([]) :: {K})
+    val cons : K --> r ::: {K} -> nm :: Name -> v :: K
+               -> fn [[nm] ~ r] => folder r -> folder ([nm = v] ++ r)
+end
+
 
 val not : bool -> bool