User manual update, as prodded by #10760.
[ghc.git] / docs / backpack /
2015-08-07  Edward Z. YangBig batch of Backpack documentation edits.
2015-07-31  Edward Z. YangRemove checked-in PDFs.
2015-07-31  Edward Z. YangBackpack docs on renamer and depsolver, also s/package...
2015-07-08  Edward Z. YangBackpack: Flesh out more Cabal details
2015-06-16  Ben GamariEncode alignment in MO_Memcpy and friends
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-12  Edward Z. YangAdd versioning section to Backpack docs.
2015-06-02  Edward Z. YangRemove outdated uBackpack docs.
2015-05-19  Edward Z. YangBackpack docs: Clarifications from today's Skype call.
2015-05-14  Edward Z. YangBackpack docs: Rewrite type checking section to have...
2015-05-12  Edward Z. YangBackpack docs: Consistently italicize metavariables.
2015-05-12  Edward Z. YangBackpack docs: proper discourse on ModIface and ModDetails.
2015-05-11  Edward Z. YangIgnore out and toc files.
2015-05-11  Edward Z. YangBackpack docs: more carefully describe unification...
2015-05-08  Edward Z. YangBackpack docs: AvailInfo plan, and why selectors are...
2015-05-08  Edward Z. YangBackpack docs: meditate on AvailTC with four examples.
2015-04-30  Edward Z. YangTypeset Backpack semantic entities in figure, figure...
2015-04-29  Simon Peyton JonesTypeset Backpack syntax in a figure
2015-04-29  Edward Z. YangBackpack docs: merge backpack-shaping into algorithm...
2015-04-27  Edward Z. YangFull type checking Backpack details.
2015-04-27  Edward Z. YangBackpack docs: explain alternate merging scheme.
2015-04-27  Edward Z. YangFlesh out some more Backpack examples in the merging...
2015-04-24  Edward Z. YangUpdates to Backpack documentation based on recent visit...
2015-03-31  Edward Z. YanguBackpack: simplified Backpack description.
2015-01-22  Simon Peyton JonesMerge branch 'master' of ssh://git.haskell.org/ghc
2015-01-21  Edward Z. YangUpdate Backpack document with examples [skip ci]
2014-12-20  Edward Z. YangImproved Backpack IR description. [skip ci]
2014-12-10  Edward Z. YangProposal for Backpack file format [skip ci]
2014-10-24  Edward Z. YangCheck in up-to-date PDF copies of Backpack docs. [skip ci]
2014-10-24  Edward Z. YangMore updates to Backpack manual [skip ci]
2014-10-10  Edward Z. YangRewrite section 1 of the Backpack manual. [skip ci]
2014-10-08  Edward Z. YangUpdate some out-of-date things in Backpack implementati...
2014-10-08  Edward Z. YangInitial commit of the Backpack manual [skip ci]
2014-08-05  Edward Z. Yang[no-ci] Minor bugfixes in Backpack docs.
2014-08-01  Edward Z. Yang[backpack] More revisions to various pieces.
2014-07-31  Edward Z. Yang[backpack] Package selection
2014-07-25  Edward Z. Yang[backpack] Rewrite compilation to be cleaner.
2014-07-23  Gabor GreifDuplicate word
2014-07-23  Edward Z. YangWrite up rename on entry
2014-07-23  Edward Z. YangDefinite compilation is a go
2014-07-22  Edward Z. YangAdd a summary section.
2014-07-22  Edward Z. YangRewrite package/module identity section
2014-07-17  Edward Z. YangOK, I think we've finally solved granularity.
2014-07-16  Edward Z. YangTry to explain the applicativity problem
2014-07-14  Edward Z. YangFinish TCs section
2014-07-14  Edward Z. YangType classes
2014-07-10  Edward Z. Yang[backpack] Rework definite package compilation
2014-07-10  Edward Z. YangMake the example a little more complex
2014-07-09  Edward Z. YangStart expanding out linking text
2014-07-09  Edward Z. YangAdd hyperref package.
2014-07-09  Edward Z. Yang[docs/backpack] Get lint to stop complaining
2014-07-09  Edward Z. YangScott's updates to the impl paper.
2014-07-07  Edward Z. YangPrivate axiom comment in Backpack
2014-07-02  Edward Z. YangMinor edits to Backpack design doc
2014-07-02  Edward Z. YangFinish up incomplete sections
2014-07-02  Edward Z. YangFinish the simple elaboration algo
2014-07-01  Edward Z. YangBackpack docs: Compilation, surface syntax, and package...
2014-06-28  Edward Z. YangMinor updates to Backpack docs.
2014-06-26  Edward Z. YangLots of rewrites to further move toward new world order
2014-06-26  Joachim BreitnerMerge Thomas Miedema‚Äôs syn-all improvments
2014-06-25  Edward Z. YangThe linking restriction, no shaping necessary.
2014-06-24  Edward Z. YangDescribe signature mini-backpack.
2014-06-23  Edward Z. YangMore updates to Backpack impl docs.
2014-06-20  Edward Z. YangMore fixes and updates to implementation document
2014-06-19  Edward Z. YangFinish the rest of the writeup.
2014-06-18  Edward Z. YangIn progress Backpack implementation docs.