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.