| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | SI-6680 unsoundness in gadt typing. | Paul Phillips | 2013-10-01 | 1 | -1/+1 |
| * | Cull extraneous whitespace. | Paul Phillips | 2013-09-18 | 1 | -2/+2 |
| * | Begone t1737... | Hubert Plociniczak | 2011-11-02 | 1 | -2/+2 |
| * | int -> Int, etc.. | michelou | 2008-06-10 | 1 | -19/+18 |
| * | changled handling of gadts | Martin Odersky | 2006-07-28 | 1 | -0/+26 |
 |
index : scala | |
| The Scala programming language |
| summaryrefslogtreecommitdiff |