edit
[lambda.git] / assignment9.mdwn
index 20a8968..145904a 100644 (file)
@@ -122,10 +122,10 @@ val tail : unit -> int stream = <fun>                      (* Tail: a thunk *)
 
 (* Force the thunk to compute the second element *)
 # tail ();;
 
 (* Force the thunk to compute the second element *)
 # tail ();;
-- : int stream = Next (2, [fun])                     (* Second element: 2 *)
+- : int stream = Next (2, [fun])                      (* Second element: 2 *)
 
 # match tail () with Next (_, rest) -> rest ();;
 
 # match tail () with Next (_, rest) -> rest ();;
-- : int stream = Next (3, <fun>)                          (* Third element: 3 *)
+- : int stream = Next (3, <fun>)                           (* Third element: 3 *)
 </pre>
 
 You can think of `int_stream` as a functional object that provides
 </pre>
 
 You can think of `int_stream` as a functional object that provides