fix markup
authorjim <jim@web>
Mon, 23 Mar 2015 19:36:02 +0000 (15:36 -0400)
committerLinux User <ikiwiki@localhost.members.linode.com>
Mon, 23 Mar 2015 19:36:02 +0000 (15:36 -0400)
exercises/assignment5_answers.mdwn

index 0005ec6..0cdfa61 100644 (file)
@@ -437,6 +437,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>
         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