diff demo/more/grid.urs @ 937:37dd42935dad

Summary row with aggregates
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 10:18:56 -0400
parents 6966d98c80b5
children e2be476673f2
line wrap: on
line diff
--- a/demo/more/grid.urs	Tue Sep 15 09:45:46 2009 -0400
+++ b/demo/more/grid.urs	Tue Sep 15 10:18:56 2009 -0400
@@ -32,6 +32,7 @@
 
                  con aggregates :: {Type}
                  val aggregates : $(map (aggregateMeta row) aggregates)
+                 val aggFolder : folder aggregates
              end) : sig
     type grid