tweak untyped_evaluators, add symlink

[lambda.git] / exercises / assignment5_answers.mdwn

diff --git a/exercises/assignment5_answers.mdwn b/exercises/assignment5_answers.mdwn
index 9618cd3..0cdfa61 100644 (file)
--- a/exercises/assignment5_answers.mdwn
+++ b/exercises/assignment5_answers.mdwn
@@ -436,6 +436,8 @@ Again, we've left some gaps. (The use of `type` for the first line in Haskell an
 
         type lambda_term = Var of identifier | Abstract of identifier * lambda_term | App of lambda_term * lambda_term
 
 
         type lambda_term = Var of identifier | Abstract of identifier * lambda_term | App of lambda_term * lambda_term
 

+<a id="occurs_free"></a>
+

 16. Write a function `occurs_free` that has the following type:
 
         occurs_free : identifier -> lambda_term -> bool
 16. Write a function `occurs_free` that has the following type:
 
         occurs_free : identifier -> lambda_term -> bool