From: jim Date: Mon, 23 Mar 2015 19:35:20 +0000 (-0400) Subject: fix markup X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=26fe508fa55a42ff49db7380df0fcaebaea43aac fix markup --- diff --git a/exercises/assignment5.mdwn b/exercises/assignment5.mdwn index dabc1a03..5dd1cbb2 100644 --- a/exercises/assignment5.mdwn +++ b/exercises/assignment5.mdwn @@ -253,6 +253,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. + 16. Write a function `occurs_free` that has the following type: occurs_free : identifier -> lambda_term -> bool