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/bool.tr | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) (limited to 'transfer/examples/bool.tr') diff --git a/transfer/examples/bool.tr b/transfer/examples/bool.tr index 291434a9f..401d238ef 100644 --- a/transfer/examples/bool.tr +++ b/transfer/examples/bool.tr @@ -1,8 +1,10 @@ -data Bool : Type where { True : Bool; False : Bool; } ; +data Bool : Type where + True : Bool + False : Bool; -depif : (A:Type) -> (B:Type) -> (b:Bool) -> A -> B -> if Type b then A else B ; -depif _ _ True x _ = x ; -depif _ _ False _ y = y ; +depif : (A:Type) -> (B:Type) -> (b:Bool) -> A -> B -> if Type b then A else B +depif _ _ True x _ = x +depif _ _ False _ y = y -not : Bool -> Bool ; -not b = if b then False else True ; +not : Bool -> Bool +not b = if b then False else True -- cgit v1.2.3