From: jim <jim@web>
Date: Mon, 23 Mar 2015 19:34:22 +0000 (-0400)
Subject: add #occurs_free
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=878a43a26bd41b5d2b228b9ea8ce5dfd3095dcba

add #occurs_free
---

diff --git a/exercises/assignment5.mdwn b/exercises/assignment5.mdwn
index a74da85a..dabc1a03 100644
--- a/exercises/assignment5.mdwn
+++ b/exercises/assignment5.mdwn
@@ -252,6 +252,7 @@ Again, we've left some gaps. (The use of `type` for the first line in Haskell an
 
 15. Choose one of these languages and fill in the gaps to complete the definition.
 
+<a id="occurs_free"></a>
 16. Write a function `occurs_free` that has the following type:
 
         occurs_free : identifier -> lambda_term -> bool