Add links and one more planned topic to Leibniz #1 post.
Add links and one more planned topic to Leibniz #1 post.

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