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