summaryrefslogtreecommitdiff
path: root/docs/backpack/algorithm.tex
Commit message (Collapse)AuthorAgeFilesLines
* Typo in docsBen Gamari2016-02-011-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 commentsGabor Greif2016-01-271-1/+1
|
* Backpack documentation updates for component IDs [no-ci]Edward Z. Yang2015-10-291-160/+188
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Fix algorithm.tex build and update with some new info.Edward Z. Yang2015-08-261-8/+77
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Big batch of Backpack documentation edits.Edward Z. Yang2015-08-061-708/+687
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs on renamer and depsolver, also s/package/unit/.Edward Z. Yang2015-07-301-586/+233
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack: Flesh out more Cabal detailsEdward Z. Yang2015-07-071-46/+282
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Add versioning section to Backpack docs.Edward Z. Yang2015-06-121-0/+147
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: Clarifications from today's Skype call.Edward Z. Yang2015-05-191-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. Yang2015-05-141-200/+225
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: Consistently italicize metavariables.Edward Z. Yang2015-05-121-85/+85
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: proper discourse on ModIface and ModDetails.Edward Z. Yang2015-05-111-26/+124
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: more carefully describe unification versus unioning.Edward Z. Yang2015-05-111-7/+6
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: AvailInfo plan, and why selectors are hard.Edward Z. Yang2015-05-081-14/+109
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: meditate on AvailTC with four examples.Edward Z. Yang2015-05-071-26/+233
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Typeset Backpack semantic entities in figure, figure-ify all asides.Edward Z. Yang2015-04-301-22/+47
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Typeset Backpack syntax in a figureSimon Peyton Jones2015-04-301-13/+25
|
* Backpack docs: merge backpack-shaping into algorithm, sigs no longer provideEdward Z. Yang2015-04-281-238/+375
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Full type checking Backpack details.ghc-julyEdward Z. Yang2015-04-271-34/+180
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Backpack docs: explain alternate merging scheme.Edward Z. Yang2015-04-271-13/+47
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Flesh out some more Backpack examples in the merging section.Edward Z. Yang2015-04-271-2/+85
| | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* Updates to Backpack documentation based on recent visit to MSRC.Edward Z. Yang2015-04-251-0/+413
Includes lots of shaping examples, and a shaping algorithm description. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>