ParentFull threadhebrox·Is this [1] perhaps the book you’ll work through?[1] https://homotopytypetheory.org/book/View on HN