Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Test fixes and other miscellaneous changes | Jon Pretty | 2017-11-03 | 2 | -5/+12 |
* | Support for GADTs (including recursive ones) | Jon Pretty | 2017-11-01 | 1 | -11/+11 |
* | Support nontrivial type constructors | Jon Pretty | 2017-10-31 | 1 | -7/+7 |
* | Support for case objects | Jon Pretty | 2017-10-30 | 1 | -10/+13 |
* | All variants now deriving | Jon Pretty | 2017-10-30 | 1 | -8/+15 |
* | Derivation working for Show and Eq | Jon Pretty | 2017-10-30 | 1 | -0/+81 |