programming slides
simple types changes
motivation for LSUG
fixed errors
Curry-Howard slides
corrected application -> abstraction