From: jim Date: Mon, 23 Mar 2015 19:36:02 +0000 (-0400) Subject: fix markup X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=644ea1aba238e705e3dd1c815854f40d176f3fea fix markup --- diff --git a/exercises/assignment5_answers.mdwn b/exercises/assignment5_answers.mdwn index 0005ec6e..0cdfa612 100644 --- a/exercises/assignment5_answers.mdwn +++ b/exercises/assignment5_answers.mdwn @@ -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 + 16. Write a function `occurs_free` that has the following type: occurs_free : identifier -> lambda_term -> bool