- Exercise 2. Verify that these encodings (zero, succ , rec) typecheck in System F.
- (Draw a type tree for each term.)
+ **Excercise**: get booleans and Church numbers working in OCaml,
+ including OCaml versions of bool, true, false, zero, succ, and pred.
+ It's especially useful to do a version of pred, starting with one
+ of the (untyped) versions available in the lambda library
+ accessible from the main wiki page. The point of the excercise
+ is to do these things on your own, so avoid using the built-in
+ OCaml booleans and list predicates.