Index of concepts for Week 02

• accumulators
• completeness of a function with respect to a relation
• continuations
• equality (Leibniz)
• existential quantifier (exists)
• implicit parameters
• polymorphic data types
• polymorphic functions
• polymorphism (etymology)
• polymorphism (in Gallina)
• quantifier (existential)
• quantifier (universal)
• soundness of a function with respect to a relation
• universal quantifier (forall)
• tail calls
• tCPA command (Search)

Version

Added the entries about soundness and completeness [04 Feb 2025]

Added an entry for tail calls [25 Jan 2025]

Created [24 Jan 2025]