Computational Formal Semantics: Meeting 4

Plan for the April 23 (11 am-12 pm) meeting: finish up the discussion of Higher-order Functions (folds and function composition), then move on to talking about Modules and various parts of the standard library. The Data.List module in particular will be very useful for all our intended applications.