X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment4.mdwn;fp=assignment4.mdwn;h=34fb044d6197fd875e56a4f15ecc26bc2a233e37;hp=7ec49f77e604a02ea82901487db000cc9bcf8e4b;hb=260a35e134bfd7d8105208f13d4333cc9e50470a;hpb=6c76653f70358ec2dd633335e378bf8ef98fe215

diff --git a/assignment4.mdwn b/assignment4.mdwn
index 7ec49f77..34fb044d 100644
--- a/assignment4.mdwn
+++ b/assignment4.mdwn
@@ -1,3 +1,5 @@
+Assignment 4
+------------
 
 #Reversing a list#
 
@@ -7,6 +9,7 @@ implementation of list you like. Even then, there are various strategies you
 can use.
 
 
+#Comparing lists for equality#
 
 <!--
 let list_equal =
@@ -32,4 +35,9 @@ let list_equal =
                 (\might_be_equal right_tail. and might_be_equal (isempty right_tail))
 -->
 
+#Enumerating the fringe of a leaf-labeled tree#
+
 [[Implementing trees]]
+
+
+