diff options
Diffstat (limited to 'docs/internals/higher-kinded-v2.md')
-rw-r--r-- | docs/internals/higher-kinded-v2.md | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/docs/internals/higher-kinded-v2.md b/docs/internals/higher-kinded-v2.md index 71d80f772..3d2a64dde 100644 --- a/docs/internals/higher-kinded-v2.md +++ b/docs/internals/higher-kinded-v2.md @@ -1,3 +1,8 @@ +--- +layout: default +title: "Higher-Kinded Types in Dotty" +--- + Higher-Kinded Types in Dotty V2 =============================== @@ -403,7 +408,7 @@ This gives: ```scala Lambda1 { type Apply = List[$hkArg$0] } { type $hkArg$0 = A } # Apply => Lambda1 { type Apply = List[$hkArg$0] } { type $hkArg$0 = B } # Apply - ``` +``` This type simplifies to: |