summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
472e280)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
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.