# wiwikwlhott
[What I wish I knew when learning HoTT](https://abooij.github.io/wiwikwlhott/)

Inspired by Stephen Diehl's "What I Wish I Knew When Learning Haskell".

# [What I wish I knew when learning HoTT](https://abooij.github.io/wiwikwlhott/)

Inspired by Stephen Diehl's "What I Wish I Knew When Learning Haskell".

Suggestions and pull requests welcome.

Make the readme ever so slightly more inviting
Make the readme ever so slightly more inviting
