Index of concepts for Week 01

• correspondence (Curry-Howard)
• coverage (code)
• coverage (test)
• equality (structural)
• Gallina
• Gallina keyword (Inductive)
• implicit parameters
• Inductive (Gallina keyword)
• lambda-dropped programs
• lambda-lifted programs
• Peano numbers
• polymorphic data types
• polymorphic functions
• polymorphism (etymology)
• polymorphism (in Gallina)
• syntactic sugar
• tCPA (the Coq Proof Assistant)
• tCPA command (Check)
• tCPA command (Compute)
• unit-test functions

Version

Added the entry about unit-test functions [15 Apr 2024]

Added the entries about code coverage and test coverage as well as about structural equality [14 Apr 2024]

Added the entry about syntactic sugar [19 Jan 2024]

Created [18 Jan 2024]