diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-05 16:45:11 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-05 16:45:11 +0000 |
| commit | 7c24fcb38faeaada097d2797e9cb0f305dbc637e (patch) | |
| tree | 5bee5bf8b09793d72ba4b8c60d90f3a72f6f7bec /transfer/lib | |
| parent | 747271941a9e4f698e985d6cb58efe2994e60d61 (diff) | |
Added aggregation example.
Diffstat (limited to 'transfer/lib')
| -rw-r--r-- | transfer/lib/pair.tr | 10 |
1 files changed, 10 insertions, 0 deletions
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 |