X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=assignment_3_evaluator.mdwn;h=aba94f89cd0a21404f6e7fc51c119cd24e0baaba;hb=e4165e16984feee9c962872ac9319ce5c4b109c2;hp=1b763796b0acb066be25b1cb02270276381f34de;hpb=77fa44bd49aa2691adf1efe683c26c3cc86c499c;p=lambda.git
diff --git a/assignment_3_evaluator.mdwn b/assignment_3_evaluator.mdwn
index 1b763796..aba94f89 100644
--- a/assignment_3_evaluator.mdwn
+++ b/assignment_3_evaluator.mdwn
@@ -1,48 +1,71 @@
Here are the definitions pre-loaded for working on assignment 3:
+
do eta-reductions too