X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment8.mdwn;h=a1e0140c7ce3a996553cea799b013d3464b5f5c6;hp=0b53578a76286e6a5356ac46c1c1f36c2f0ef798;hb=d30463cb5a4ac07600f4b587249edde28270dfcf;hpb=6c4fc9cd7b016b9d11522b0f2f48c61f07a8d4c1 diff --git a/assignment8.mdwn b/assignment8.mdwn index 0b53578a..a1e0140c 100644 --- a/assignment8.mdwn +++ b/assignment8.mdwn @@ -25,6 +25,8 @@ {tree = Root; filler = t} ;; +   + let make_fringe_enumerator (t: 'a tree) = (* create a zipper targetting the root of t *) let zstart = new_zipper t