From 237ddc31ab0281f9f2cddf598fc5f9af50f91f06 Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Thu, 6 Oct 2016 17:40:27 +0200 Subject: Warn users about outdated HK scheme --- docs/internals/higher-kinded-v2.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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 -- cgit v1.2.3