| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove checked-in PDFs. | Edward Z. Yang | 2015-07-31 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Backpack docs on renamer and depsolver, also s/package/unit/. | Edward Z. Yang | 2015-07-30 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Backpack: Flesh out more Cabal details | Edward Z. Yang | 2015-07-07 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Add versioning section to Backpack docs. | Edward Z. Yang | 2015-06-12 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Backpack docs: Clarifications from today's Skype call. | Edward Z. Yang | 2015-05-19 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Backpack docs: Rewrite type checking section to have a more concrete plan. | Edward Z. Yang | 2015-05-14 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Backpack docs: Consistently italicize metavariables. | Edward Z. Yang | 2015-05-12 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Backpack docs: proper discourse on ModIface and ModDetails. | Edward Z. Yang | 2015-05-11 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Backpack docs: more carefully describe unification versus unioning. | Edward Z. Yang | 2015-05-11 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Backpack docs: AvailInfo plan, and why selectors are hard. | Edward Z. Yang | 2015-05-08 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Backpack docs: meditate on AvailTC with four examples. | Edward Z. Yang | 2015-05-07 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Typeset Backpack semantic entities in figure, figure-ify all asides. | Edward Z. Yang | 2015-04-30 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Backpack docs: merge backpack-shaping into algorithm, sigs no longer provide | Edward Z. Yang | 2015-04-28 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Full type checking Backpack details.ghc-july | Edward Z. Yang | 2015-04-27 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Backpack docs: explain alternate merging scheme. | Edward Z. Yang | 2015-04-27 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Flesh out some more Backpack examples in the merging section. | Edward Z. Yang | 2015-04-27 | 1 | -0/+0 |
| | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
| * | Updates to Backpack documentation based on recent visit to MSRC. | Edward Z. Yang | 2015-04-25 | 1 | -0/+0 |
| Includes lots of shaping examples, and a shaping algorithm description. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |