CS 541 Lecture -*- Outline -*- for the functional paradigm lecture 1 * introduction omitted in 1999 * reasoning