Midterm project

• Expectations about the midterm project
  • The reading grid for grading
  • Version
• A study of polymorphic lists and primitive iteration
  • Resources
  • Polymorphic lists in tCPA
  • Singleton lists
  • A study of a predicate for comparing polymorphic lists
  • Task 1
  • A study of the polymorphic length function
  • Task 2
  • A study of the polymorphic copy function
  • Task 3
  • A study of the polymorphic append function
  • Task 4
  • A study of the polymorphic reverse function
  • Task 5
  • A study of the polymorphic map function
  • Task 6
  • A study of the polymorphic fold-right and fold-left functions
  • Task 7
  • A quick study of primitive iteration for natural numbers
  • Task 8
  • Task 9
  • Resources
  • Version
• Index of concepts for the midterm project
  • Version