Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Typo in docs | Ben Gamari | 2016-02-01 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | Spelling mistakes fixed, * identiy > identity * suprising > surprising Reviewers: austin, bgamari Reviewed By: bgamari Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1871 | ||||
* | Typos in comments | Gabor Greif | 2016-01-27 | 1 | -1/+1 |
| | |||||
* | Backpack documentation updates for component IDs [no-ci] | Edward Z. Yang | 2015-10-29 | 1 | -160/+188 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Fix algorithm.tex build and update with some new info. | Edward Z. Yang | 2015-08-26 | 1 | -8/+77 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Big batch of Backpack documentation edits. | Edward Z. Yang | 2015-08-06 | 1 | -708/+687 |
| | | | | 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 | -586/+233 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Backpack: Flesh out more Cabal details | Edward Z. Yang | 2015-07-07 | 1 | -46/+282 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Add versioning section to Backpack docs. | Edward Z. Yang | 2015-06-12 | 1 | -0/+147 |
| | | | | 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 | -16/+28 |
| | | | | 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 | -200/+225 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Backpack docs: Consistently italicize metavariables. | Edward Z. Yang | 2015-05-12 | 1 | -85/+85 |
| | | | | 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 | -26/+124 |
| | | | | 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 | -7/+6 |
| | | | | 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 | -14/+109 |
| | | | | 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 | -26/+233 |
| | | | | 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 | -22/+47 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Typeset Backpack syntax in a figure | Simon Peyton Jones | 2015-04-30 | 1 | -13/+25 |
| | |||||
* | Backpack docs: merge backpack-shaping into algorithm, sigs no longer provide | Edward Z. Yang | 2015-04-28 | 1 | -238/+375 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Full type checking Backpack details.ghc-july | Edward Z. Yang | 2015-04-27 | 1 | -34/+180 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Backpack docs: explain alternate merging scheme. | Edward Z. Yang | 2015-04-27 | 1 | -13/+47 |
| | | | | 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 | -2/+85 |
| | | | | 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/+413 |
Includes lots of shaping examples, and a shaping algorithm description. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> |