Constructing Recursive Data Structures: Lists

• Note: there is an alternative notation for lists
• Examples:
  • The list .(a, .(b, .(c, []))) is represented as [a, b, c]
  • The list .(a, .(b, X)) (free tail) is represented as [a, b|X]
  • Infix ``|'' stands for ``.''
  • Implicit [] when all elements are specified