I have SUBMITTED my master's thesis > Types, Homotopies and Proofs: Foundations of Constructive Mathematics with Examples in Agda