no mathjax needed
no mathjax needed

melrief/typelevel.github.com,typelevel/typelevel.github.com,melrief/typelevel.github.com,melrief/typelevel.github.com,melrief/typelevel.github.com,typelevel/typelevel.github.com,typelevel/typelevel.github.com