[docs/backpack] Get lint to stop complaining
[ghc.git] / docs / backpack / backpack-impl.tex
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.