diff options
| author | peb <unknown> | 2005-02-09 11:46:54 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-02-09 11:46:54 +0000 |
| commit | a0d412986305d4b45e82afde62ea48f1b06edb9d (patch) | |
| tree | bca6f55ef01469442ef55f6bd0caa511e147350f /src/GF/Data/Zipper.hs | |
| parent | 4fd0c636f8590bf800715f2598e54ccc22c99b90 (diff) | |
"Committed_by_peb"
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 = |