| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Don't make * types higher-kinded in avoid | Martin Odersky | 2016-07-11 | 1 | -9/+9 |
| * | Normalize RecTypes on creation to avoid cycles. | Martin Odersky | 2016-07-11 | 1 | -20/+21 |
| * | Big realizability refactoring | Martin Odersky | 2016-02-09 | 1 | -2/+2 |
| * | Reorganize tests to account for new typing of projection | Martin Odersky | 2016-02-09 | 1 | -11/+11 |
| * | Adapt and add tests | Martin Odersky | 2016-01-18 | 1 | -0/+136 |
 |
index : dotty | |
| Research platform for new language concepts and compiler technologies for Scala. |
| aboutsummaryrefslogtreecommitdiff |