What I wish I knew when learning HoTT Inspired by Stephen Diehl's "What I Wish I Knew When Learning Haskell". Suggestions and pull requests welcome. To compile, install Sphinx and sphinxcontrib-latex, for example using pip. Then run: $ make html