| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove refinement encoding of hk types | Martin Odersky | 2016-07-11 | 1 | -2/+2 |
| * | Refactoring of PolyType and TypeLambda | Martin Odersky | 2016-07-11 | 1 | -1/+1 |
| * | Start new, direct HK scheme | Martin Odersky | 2016-07-11 | 1 | -0/+11 |
| * | Introduce recursive types | Martin Odersky | 2016-07-11 | 1 | -0/+2 |
| * | Allow general recursion in refined types. | Martin Odersky | 2016-07-11 | 1 | -2/+2 |
| * | Swap order of arguments in annotations | Martin Odersky | 2015-11-22 | 1 | -2/+2 |
| * | Replace tabs with 4 spaces in Dotty source. | Dmitry Petrashko | 2015-04-09 | 1 | -2/+2 |
| * | Fix bug in varianceInType | Martin Odersky | 2014-10-12 | 1 | -4/+3 |
| * | Seems to be a bug ping @odesrky | Dmitry Petrashko | 2014-10-11 | 1 | -0/+1 |
| * | Enabled variance checking | Martin Odersky | 2014-08-03 | 1 | -1/+11 |
| * | Initial versions of Variances and CheckVariances | Martin Odersky | 2014-08-03 | 1 | -0/+93 |
 |
index : dotty | |
| Research platform for new language concepts and compiler technologies for Scala. |
| aboutsummaryrefslogtreecommitdiff |