Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Support builtin classes like KnownNat in backpack | Piyush P Kurur | 2018-10-11 | 3 | -0/+57 |
* | Support typechecking of type literals in backpack | Piyush P Kurur | 2018-08-06 | 3 | -0/+38 |
* | containers: Bump to 0.6.0.1 | Ben Gamari | 2018-06-20 | 3 | -10/+6 |
* | Revert "containers: Bump to 0.6.0.1" | Ben Gamari | 2018-06-19 | 3 | -6/+10 |
* | containers: Bump to 0.6.0.1 | Ben Gamari | 2018-06-19 | 3 | -10/+6 |
* | Upgrade containers submodule | David Feuer | 2018-02-02 | 1 | -1/+1 |
* | Don't complain about UNPACK in -fno-code. | Edward Z. Yang | 2017-11-27 | 3 | -0/+24 |
* | Levity polymorphic Backpack. | Edward Z. Yang | 2017-10-16 | 3 | -0/+46 |
* | Try submodule bumps again | Ben Gamari | 2017-02-28 | 1 | -1/+1 |
* | Revert recent submodule bumps | Ben Gamari | 2017-02-22 | 1 | -1/+1 |
* | Bump Cabal and containers submodules | Ben Gamari | 2017-02-21 | 1 | -1/+1 |
* | The Backpack patch. | Edward Z. Yang | 2016-10-08 | 19 | -0/+489 |