From 02c23401a7a3e54d48084fc2796a485de36383f1 Mon Sep 17 00:00:00 2001 From: bringert Date: Mon, 28 Nov 2005 21:45:22 +0000 Subject: Changed all example programs to use layout syntax. --- transfer/examples/pair.tr | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'transfer/examples/pair.tr') diff --git a/transfer/examples/pair.tr b/transfer/examples/pair.tr index 07182e301..bdd517d9c 100644 --- a/transfer/examples/pair.tr +++ b/transfer/examples/pair.tr @@ -1,11 +1,11 @@ -Pair : Type -> Type -> Type ; -Pair A B = { p1 : A; p2 : B } ; +Pair : Type -> Type -> Type +Pair A B = { p1 : A; p2 : B } -pair : (A:Type) -> (B:Type) -> A -> B -> Pair A B ; -pair _ _ x y = { p1 = x; p2 = y } ; +pair : (A:Type) -> (B:Type) -> A -> B -> Pair A B +pair _ _ x y = { p1 = x; p2 = y } -fst : (A:Type) -> (B:Type) -> Pair A B -> A ; -fst _ _ p = case p of { (Pair _ _ x _) -> x } ; +fst : (A:Type) -> (B:Type) -> Pair A B -> A +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 } ; +snd : (A:Type) -> (B:Type) -> Pair A B -> B +snd _ _ p = case p of Pair _ _ x _ -> x -- cgit v1.2.3