Put the definition of the subtraction function with a fix; replaced subtyping with System-F as the topic for the second section
Outlined the sheet for Exercise Session 13
Done half of the sheet for Homework 12