Lecture 2

Mon, Oct 1 : Syntax, More Coq (FRAP Chapters 1, 2). [materials]

FRAP source:

• BasicSyntax.v
• Polymorphism.v