From a0d412986305d4b45e82afde62ea48f1b06edb9d Mon Sep 17 00:00:00 2001 From: peb Date: Wed, 9 Feb 2005 11:46:54 +0000 Subject: "Committed_by_peb" --- src/GF/Data/Zipper.hs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'src/GF/Data/Zipper.hs') diff --git a/src/GF/Data/Zipper.hs b/src/GF/Data/Zipper.hs index 31174b71e..6d3766c51 100644 --- a/src/GF/Data/Zipper.hs +++ b/src/GF/Data/Zipper.hs @@ -9,15 +9,13 @@ -- > CVS $Author $ -- > CVS $Revision $ -- --- (Description of the module) +-- Gérard Huet's zipper (JFP 7 (1997)). AR 10/8/2001 ----------------------------------------------------------------------------- module Zipper where import Operations --- Gérard Huet's zipper (JFP 7 (1997)). AR 10/8/2001 - newtype Tr a = Tr (a,[Tr a]) deriving (Show,Eq) data Path a = -- cgit v1.2.3