diff options
Diffstat (limited to 'docs/internals/higher-kinded-v2.md')
-rw-r--r-- | docs/internals/higher-kinded-v2.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/internals/higher-kinded-v2.md b/docs/internals/higher-kinded-v2.md index 3d2a64dde..3019e3031 100644 --- a/docs/internals/higher-kinded-v2.md +++ b/docs/internals/higher-kinded-v2.md @@ -3,9 +3,13 @@ layout: default title: "Higher-Kinded Types in Dotty" --- +**This page is out of date and preserved for posterity. Please see [Implementing +Higher-Kinded Types in +Dotty](http://guillaume.martres.me/publications/dotty-hk.pdf) for a more up to +date version** + Higher-Kinded Types in Dotty V2 =============================== - This note outlines how we intend to represent higher-kinded types in Dotty. The principal idea is to collapse the four previously disparate features of refinements, type parameters, existentials and higher-kinded types into just |