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
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
What I wish I knew when learning HoTT
MIT License