add #occurs_free
authorjim <jim@web>
Mon, 23 Mar 2015 19:34:22 +0000 (15:34 -0400)
committerLinux User <ikiwiki@localhost.members.linode.com>
Mon, 23 Mar 2015 19:34:22 +0000 (15:34 -0400)
exercises/assignment5.mdwn

index a74da85..dabc1a0 100644 (file)
@@ -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