Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added pos test with multiple cases; added neg tests. | Miles Sabin | 2016-05-06 | 1 | -4/+21 |
* | Added missing result type to test. | Miles Sabin | 2016-04-20 | 1 | -1/+1 |
* | SI-9760 Fix for higher-kinded GADT refinement | Miles Sabin | 2016-04-19 | 1 | -0/+18 |