diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-04-16 17:50:23 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-04-16 17:50:23 +0200 |
| commit | 1204af7031c627b39d4cef7cdb5842cdc199ddde (patch) | |
| tree | 42bca842e4b2cb2391776bb7d128ccf89d872c7e /Makefile | |
| parent | c6d6a18d85e5e2d9bb5904e6919e8a8d7e31c4c5 (diff) | |
| parent | 1338b5d7c32939de6bbc31af0049477e4f847103 (diff) | |
Merge pull request #482 from RyanGlScott/ghc-head
Collapse type/data family instances by default
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions