1. 20
  1.  

  2. 6

    If you just want slides, here they are: https://nikomatsakis.github.io/pliss-2019/