projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c45c91f
)
Revert "Revert "Acar reference""
author
Jim Pryor
<profjim@jimpryor.net>
Tue, 26 Oct 2010 14:26:01 +0000
(10:26 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Tue, 26 Oct 2010 14:26:01 +0000
(10:26 -0400)
This reverts commit
c45c91f3f0a5e1e1a4098d8fb610d55ea0611977
.
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.