GitHub repository: pthariensflame/book
Description: A textbook on informal homotopy type theory