typelevel/typelevel.github.com — pull request #31 by choedl (2014-10-11 20:05:31+00:00)
Title: Fixed/improved link to discipline

See https://groups.google.com/forum/#!topic/typelevel/Xg2uGbtNa-0