projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
a25c091
)
Revert "Acar reference"
author
Jim Pryor
<profjim@jimpryor.net>
Tue, 26 Oct 2010 14:21:24 +0000
(10:21 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Tue, 26 Oct 2010 14:21:24 +0000
(10:21 -0400)
This reverts commit
c5e9c5f26878492029108cbfac0ba695ed41f986
.
assignment5.mdwn
patch
|
blob
|
history
diff --git
a/assignment5.mdwn
b/assignment5.mdwn
index
12ac950
..
2078c1c
100644
(file)
--- a/
assignment5.mdwn
+++ b/
assignment5.mdwn
@@
-146,8
+146,7
@@
Baby monads
Booleans, Church numbers, and Church lists in OCaml
---------------------------------------------------
Booleans, Church numbers, and Church lists in OCaml
---------------------------------------------------
-(These questions adapted from web materials by Umut Acar. See <http://www.mpi-sws.org/~umut/>.)
-
+These questions adapted from web materials written by some smart dude named Acar.
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.