diff options
author | Martin Odersky <odersky@gmail.com> | 2014-06-12 14:50:05 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-06-12 15:35:57 +0200 |
commit | 96196c9ffa9939acd7437103d1621dac96e9abc6 (patch) | |
tree | ca87d4f694e47e453ad4d791cff80adb4cf3bbe4 /docs | |
parent | 51563aee5478f90a0f86c29385f74d020b8995dd (diff) | |
download | dotty-96196c9ffa9939acd7437103d1621dac96e9abc6.tar.gz dotty-96196c9ffa9939acd7437103d1621dac96e9abc6.tar.bz2 dotty-96196c9ffa9939acd7437103d1621dac96e9abc6.zip |
Names and definitions for Lambdas
Adding names and definitions for the Lambda scheme to hk types.
Also add HigherKinded flag for HK type parameters and abstract types.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions