diff options
| author | odersky <odersky@gmail.com> | 2016-07-15 13:11:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-15 13:11:52 +0200 |
| commit | 409c6c30c8496529aace68967acccf88850145da (patch) | |
| tree | 56fd30bbb5d108b895982da72943e649a58fbd40 /bench/src/test | |
| parent | 1c02c56213cf22010c0aef1dc1446300fe8005fe (diff) | |
| parent | 894c9fbf247765041fc32788c78b85f1b2b2a191 (diff) | |
| download | dotty-409c6c30c8496529aace68967acccf88850145da.tar.gz dotty-409c6c30c8496529aace68967acccf88850145da.tar.bz2 dotty-409c6c30c8496529aace68967acccf88850145da.zip | |
Merge pull request #1343 from dotty-staging/change-hk-direct2
Direct representation of higher-kinded types
Diffstat (limited to 'bench/src/test')
0 files changed, 0 insertions, 0 deletions