From 4e747b63cdc33acc9acc95866ed2aa451524a90c Mon Sep 17 00:00:00 2001
From: jim <jim@web>
Date: Mon, 23 Mar 2015 15:33:53 -0400
Subject: [PATCH] add #occurs_free

---
 exercises/assignment5_answers.mdwn | 1 +
 1 file changed, 1 insertion(+)

diff --git a/exercises/assignment5_answers.mdwn b/exercises/assignment5_answers.mdwn
index 9618cd3c..0005ec6e 100644
--- a/exercises/assignment5_answers.mdwn
+++ b/exercises/assignment5_answers.mdwn
@@ -436,6 +436,7 @@ 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
 
+<a id="occurs_free"></a>
 16. Write a function `occurs_free` that has the following type:
 
         occurs_free : identifier -> lambda_term -> bool
-- 
2.11.0