[here](https://tlverse.org/sl3/slides/sl3-slides.html)
here