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
---------------------------------------------------
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.