Index of concepts for the midterm project

• _ :: _ (the list constructor)
• cons (the list constructor)
• fold-left (list)
• fold-left (list, conditional equivalence with fold-right)
• fold-left (nat)
• fold-right (list)
• fold-right (list, conditional equivalence with fold-left)
• fold-right (nat)
• lists (comparing)
• lists (concatenating)
• lists (copying)
• lists (folding left over)
• lists (folding right over)
• lists (length)
• lists (mapping functions over)
• lists (polymorphic)
• lists (reversing)
• lists (singleton)
• nats (folding left over)
• nats (folding right over)
• nil (the empty list)

Version

Created [22 Feb 2024]