From 46fb72dbc2803ea0a462b425eb51b486768eb8a9 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 29 Nov 2010 13:03:38 -0500 Subject: [PATCH 1/1] ass8 tweaks Signed-off-by: Jim Pryor --- assignment8.mdwn | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.11.0