church_to_int << $add$ $one$ $two$ >>;;
- : int = 3
+ To install Jim's OCaml bundle, DO THIS...
+
5. To play around with a **typed lambda calculus**, which we'll look at later
in the course, have a look at the [Penn Lambda Calculator](http://www.ling.upenn.edu/lambda/).