edit
[lambda.git] / index.mdwn
index 6aedfb7..3e66206 100644 (file)
@@ -30,7 +30,7 @@ homework questions works correctly.
        There is also now a [library](/lambda_library) of lambda-calculus
 arithmetical and list operations, some relatively advanced.
 
-        An evaluator with the definitions used for homework 3
+       An evaluator with the definitions used for homework 3
 preloaded is available at [[assignment 3 evaluator]]. 
 
 *      Henceforth, unless we say otherwise, every homework will be "due" by