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.