Introduction to Homotopy Type Theory

As announced on his Twitter [1], Egbert Rijke has finished and published his introduction to the topic -- a work four years in the making.

[1] https://twitter.com/EgbertRijke/status/1605798086462373888