15-150: Principles of Functional Programming
Today's lecture is a blackboard lecture.