diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-05 17:39:21 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 16:39:40 +0200 |
commit | d6583e52da599a6067f12950b7df575b31b3fbee (patch) | |
tree | 6423f06e0e6adb49fa41fb8cc4136df10b72cb3b /docs/internals/higher-kinded-v2.md | |
parent | 6777edc4f8bbd14a82a282740545d91af4d2f7b5 (diff) | |
download | dotty-d6583e52da599a6067f12950b7df575b31b3fbee.tar.gz dotty-d6583e52da599a6067f12950b7df575b31b3fbee.tar.bz2 dotty-d6583e52da599a6067f12950b7df575b31b3fbee.zip |
Add Jekyll as static site generator
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: |