Implement new Foldable methods for HsPatSynDetails
[ghc.git] / docs / backpack /
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.