slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf
slides with notes:
https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf
- http: https://bndl.org/2021/03/20/libreplanet-2021
+ http: https://bndl.org/2021/03/20/libreplanet-2021.html
The Magic of Specifications and Type Systems