| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Allow existential types in hk types | Martin Odersky | 2015-10-24 | 1 | -0/+6 |
| | | |||||
| * | Check that some types are not higher-kinded. | Martin Odersky | 2015-10-07 | 1 | -1/+1 |
| | | | | | Invalidates #813. Review by @darkdimius. | ||||
| * | Handling higher-kinded types with lambdas | Martin Odersky | 2014-06-18 | 1 | -0/+26 |
| Switch to the new scheme where higher-kinded types (and also some polymorphic type aliases) are represented as instances of Lambda traits. | |||||
 |
index : dotty | |
| Research platform for new language concepts and compiler technologies for Scala. |
| aboutsummaryrefslogtreecommitdiff |