6 More Lists

This lecture has two main goals:

  1. To define append, a predicate for concatenating two lists, and illustrate what can be done with it.

  2. To discuss two ways of reversing a list: a naive method using append, and a more efficient method using accumulators.

Patrick Blackburn, Johan Bos and Kristina Striegnitz
Version 1.2.5 (20030212)