X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=inline;f=assignment_3_evaluator.mdwn;h=aba94f89cd0a21404f6e7fc51c119cd24e0baaba;hb=b5a181df62205a4ac41171aeb7c45c360b00a5b8;hp=252e27f5792073500a831749556753a335b58f41;hpb=78a38c6d3d7956c0fb5be8fbc9cbf307ca99a35c;p=lambda.git
diff --git a/assignment_3_evaluator.mdwn b/assignment_3_evaluator.mdwn
index 252e27f5..aba94f89 100644
--- a/assignment_3_evaluator.mdwn
+++ b/assignment_3_evaluator.mdwn
@@ -1,29 +1,71 @@
Here are the definitions pre-loaded for working on assignment 3:
+
do eta-reductions too