Resources for learning about homotopy type theory