Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixes suggested by reviews from @smarter. | Martin Odersky | 2015-01-24 | 1 | -2/+1 |
* | Reorg of subtyping. | Martin Odersky | 2015-01-01 | 1 | -0/+11 |
* | Allow refinements that refine already refined types. | Martin Odersky | 2014-11-26 | 1 | -0/+43 |
* | Handling higher-kinded types with lambdas | Martin Odersky | 2014-06-18 | 1 | -0/+19 |