From: Jim Pryor Date: Mon, 29 Nov 2010 18:03:38 +0000 (-0500) Subject: ass8 tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=46fb72dbc2803ea0a462b425eb51b486768eb8a9;hp=2873d9e05ffb815ce2696969ab2f3d58e4f5e8e2 ass8 tweaks Signed-off-by: Jim Pryor --- 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