diff -r 8b410f3fb2a4 -r 345dd18f020e Slides/types-09.pdf
Binary file Slides/types-09.pdf has changed