projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Acar reference
[lambda.git]
/
assignment5.mdwn
diff --git
a/assignment5.mdwn
b/assignment5.mdwn
index
2078c1c
..
12ac950
100644
(file)
--- a/
assignment5.mdwn
+++ b/
assignment5.mdwn
@@
-146,7
+146,8
@@
Baby monads
Booleans, Church numbers, and Church lists in OCaml
---------------------------------------------------
Booleans, Church numbers, and Church lists in OCaml
---------------------------------------------------
-These questions adapted from web materials written by some smart dude named Acar.
+(These questions adapted from web materials by Umut Acar. See <http://www.mpi-sws.org/~umut/>.)
+
The idea is to get booleans, Church numbers, "Church" lists, and
binary trees working in OCaml.
The idea is to get booleans, Church numbers, "Church" lists, and
binary trees working in OCaml.