Lecture notes on univalent foundations of mathematics with Agda
Version 2 in the arxiv.
This is the version published on the arxiv 2019-11-01.