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 |