CS 541 Lecture -*- Outline -*- for fixed-points lecture 1-2 * recursion-fixedpoints