typelevel/typelevel.github.com — pull request #25 by S11001001 (2014-06-30 03:35:38+00:00)
Title: New post: "A function from type equality to Leibniz"

Part 1 of 2.

There is a section on specialization I haven't mentioned; would it be better for the followup, or for this post?

@larsrh I know you have something wrt Leibniz in the works as well; care to cut in?