X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=assignment_3_evaluator.mdwn;h=f4f5fb929b3fa5b70d3fe27a0b9d77dde81a7170;hb=d7c9144dc2558e867db336c1c36961fb0d19fdad;hp=df5e1c2e2738101688fabfc0d2be16874f3513f3;hpb=be5ebe0ba7d4d856bf9fbdcf112fd7fb3de25a15;p=lambda.git
diff --git a/assignment_3_evaluator.mdwn b/assignment_3_evaluator.mdwn
index df5e1c2e..f4f5fb92 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