projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
472e280
)
Acar reference
author
Jim Pryor
<profjim@jimpryor.net>
Tue, 26 Oct 2010 00:35:21 +0000
(20:35 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Tue, 26 Oct 2010 00:35:21 +0000
(20:35 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
assignment5.mdwn
patch
|
blob
|
history
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
---------------------------------------------------
-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.