projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
one more exercise
[lambda.git]
/
exercises
/
assignment5.mdwn
diff --git
a/exercises/assignment5.mdwn
b/exercises/assignment5.mdwn
index
a74da85
..
5dd1cbb
100644
(file)
--- a/
exercises/assignment5.mdwn
+++ b/
exercises/assignment5.mdwn
@@
-252,6
+252,8
@@
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.
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
16. Write a function `occurs_free` that has the following type:
occurs_free : identifier -> lambda_term -> bool