From 31e82db1a6d6d448fa783a9829afacf7af6a03ba Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 19:56:20 -0400 Subject: Sum prose --- demo/sum.ur | 1 + 1 file changed, 1 insertion(+) (limited to 'demo/sum.ur') diff --git a/demo/sum.ur b/demo/sum.ur index 22a21d8b..9391637a 100644 --- a/demo/sum.ur +++ b/demo/sum.ur @@ -4,6 +4,7 @@ fun sum (fs ::: {Unit}) (x : $(mapUT int fs)) = 0 [fs] x fun main () = return + {[sum {}]}
{[sum {A = 0, B = 1}]}
{[sum {C = 2, D = 3, E = 4}]} -- cgit v1.2.3