B.1 Appendix Objective

Establish an understanding of the syntax and semantics of ML through examples so that a reader familiar with the essential elements of functional programming after having read this appendix can write intermediate programs in ML.