diff options
Diffstat (limited to 'src/GF/Data/Zipper.hs')
| -rw-r--r-- | src/GF/Data/Zipper.hs | 4 |
1 files changed, 1 insertions, 3 deletions
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 = |