lampepfl/dotty — pull request #135 by odersky (2014-05-30 12:30:24+00:00)
Title: Docs/higher kinded v2

Adds the higher-kinded schema to the docs.

Review by @DarkDimius @samuelgruetter