Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-5830 switches: support guards, unreachability | Adriaan Moors | 2012-07-03 | 1 | -4/+1 |
* | Exhaustivity: TreeMakers as boolean propositions | Adriaan Moors | 2012-05-22 | 1 | -3/+3 |
* | The birth of the @switch and @tailrec annotations. | Paul Phillips | 2009-03-16 | 1 | -0/+10 |