Please read Chapter 22 in your textbook.
Please do the following problems (with some variation, as noted):
The programming questions should be done in the context of the
reconbase type checker, changing only the core.ml file.
Please attach a printout of your core.ml file to your physical
homework; leave the full implementation in the Homework #11 directory.
For the proof, omit all but the VAR, APP and ABS rules. The proof is very short if you define equivalence correctly.
let rec recon ctx nextnum t = match t withTo append lists, use
List.concat.
Lists may be created using [
You should handle Bool and Nat in addition to the pure lambda
calculus terms in the previous problem.
core.ml.)_''