| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [backpack] Rewrite compilation to be cleaner. | Edward Z. Yang | 2014-07-25 | 1 | -287/+222 |
| * | Duplicate word | Gabor Greif | 2014-07-23 | 1 | -1/+1 |
| * | Write up rename on entry | Edward Z. Yang | 2014-07-23 | 1 | -14/+71 |
| * | Definite compilation is a go | Edward Z. Yang | 2014-07-23 | 1 | -145/+412 |
| * | Add a summary section. | Edward Z. Yang | 2014-07-22 | 1 | -26/+77 |
| * | Rewrite package/module identity section | Edward Z. Yang | 2014-07-22 | 1 | -155/+314 |
| * | OK, I think we've finally solved granularity. | Edward Z. Yang | 2014-07-17 | 3 | -612/+1229 |
| * | Try to explain the applicativity problem | Edward Z. Yang | 2014-07-16 | 1 | -10/+86 |
| * | Finish TCs section | Edward Z. Yang | 2014-07-14 | 1 | -85/+238 |
| * | Type classes | Edward Z. Yang | 2014-07-14 | 1 | -11/+268 |
| * | [backpack] Rework definite package compilation | Edward Z. Yang | 2014-07-10 | 1 | -105/+103 |
| * | Make the example a little more complex | Edward Z. Yang | 2014-07-10 | 1 | -142/+208 |
| * | Start expanding out linking text | Edward Z. Yang | 2014-07-09 | 1 | -92/+239 |
| * | Add hyperref package. | Edward Z. Yang | 2014-07-09 | 1 | -0/+1 |
| * | [docs/backpack] Get lint to stop complaining | Edward Z. Yang | 2014-07-09 | 1 | -6/+6 |
| * | Scott's updates to the impl paper. | Edward Z. Yang | 2014-07-09 | 1 | -25/+92 |
| * | Private axiom comment in Backpack | Edward Z. Yang | 2014-07-07 | 1 | -2/+27 |
| * | Minor edits to Backpack design doc | Edward Z. Yang | 2014-07-02 | 1 | -19/+92 |
| * | Finish up incomplete sections | Edward Z. Yang | 2014-07-02 | 1 | -90/+230 |
| * | Finish the simple elaboration algo | Edward Z. Yang | 2014-07-02 | 1 | -20/+41 |
| * | Backpack docs: Compilation, surface syntax, and package database | Edward Z. Yang | 2014-07-01 | 1 | -92/+434 |
| * | Minor updates to Backpack docs. | Edward Z. Yang | 2014-06-28 | 1 | -7/+10 |
| * | Lots of rewrites to further move toward new world order | Edward Z. Yang | 2014-06-26 | 1 | -479/+291 |
| * | The linking restriction, no shaping necessary. | Edward Z. Yang | 2014-06-25 | 1 | -165/+332 |
| * | Describe signature mini-backpack. | Edward Z. Yang | 2014-06-24 | 1 | -28/+96 |
| * | More updates to Backpack impl docs. | Edward Z. Yang | 2014-06-23 | 2 | -17/+146 |
| * | More fixes and updates to implementation document | Edward Z. Yang | 2014-06-20 | 2 | -76/+264 |
| * | Finish the rest of the writeup. | Edward Z. Yang | 2014-06-19 | 1 | -81/+242 |
| * | In progress Backpack implementation docs. | Edward Z. Yang | 2014-06-18 | 8 | -0/+327 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |