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