From 878a43a26bd41b5d2b228b9ea8ce5dfd3095dcba Mon Sep 17 00:00:00 2001 From: jim Date: Mon, 23 Mar 2015 15:34:22 -0400 Subject: [PATCH] add #occurs_free --- exercises/assignment5.mdwn | 1 + 1 file changed, 1 insertion(+) 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. + 16. Write a function `occurs_free` that has the following type: occurs_free : identifier -> lambda_term -> bool -- 2.11.0