Index of concepts for Week 10

• andmap (for binary trees)
• association lists
• binary_tree_ (andmap)
• binary_tree_ (fold)
• binary_tree_ (map)
• binary_tree_ (ormap)
• comparing ordered values
• datatype (constructors)
• errors (type, with a slash)
• fold (for binary trees)
• involution
• involutory
• isomorphism (type)
• map (for binary trees)
• onions (type)
• ormap (for binary trees)
• parameters (formal, specifying their type)
• recursion (structural, for binary trees)
• recursive data types
• recursive data types (mutually)
• regular expressions (type for)
• shallots (type)
• the proof is trivial (type)
• tree (binary, with payloads in the leaves)
• tree (binary, with payloads in the leaves and in the nodes)
• tree (binary, with payloads in the nodes)
• type errors (with a slash and a number)
• unparsing (polymorphic binary trees)

Version

Created [15 Oct 2022]