projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Revert "Acar reference"
[lambda.git]
/
assignment5.mdwn
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.