From 7c24fcb38faeaada097d2797e9cb0f305dbc637e Mon Sep 17 00:00:00 2001 From: bringert Date: Mon, 5 Dec 2005 16:45:11 +0000 Subject: Added aggregation example. --- transfer/lib/pair.tr | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'transfer/lib') diff --git a/transfer/lib/pair.tr b/transfer/lib/pair.tr index 1b70411e8..a4956abdd 100644 --- a/transfer/lib/pair.tr +++ b/transfer/lib/pair.tr @@ -9,3 +9,13 @@ fst _ _ p = case p of Pair _ _ x _ -> x snd : (A:Type) -> (B:Type) -> Pair A B -> B snd _ _ p = case p of Pair _ _ x _ -> x + +{- + + syntax: + + (x1,...,xn) => { p1 = e1; ... ; pn = en } + + where n >= 2 and x1,...,xn are expressions or patterns + +-} \ No newline at end of file -- cgit v1.2.3