summaryrefslogtreecommitdiff
path: root/docs/backpack
Commit message (Expand)AuthorAgeFilesLines
* Backpack: Flesh out more Cabal detailsEdward Z. Yang2015-07-072-46/+282
* Add versioning section to Backpack docs.Edward Z. Yang2015-06-123-4/+148
* Remove outdated uBackpack docs.Edward Z. Yang2015-06-022-381/+0
* Backpack docs: Clarifications from today's Skype call.Edward Z. Yang2015-05-192-16/+28
* Backpack docs: Rewrite type checking section to have a more concrete plan.Edward Z. Yang2015-05-142-200/+225
* Backpack docs: Consistently italicize metavariables.Edward Z. Yang2015-05-122-85/+85
* Backpack docs: proper discourse on ModIface and ModDetails.Edward Z. Yang2015-05-112-26/+124
* Ignore out and toc files.Edward Z. Yang2015-05-111-0/+2
* Backpack docs: more carefully describe unification versus unioning.Edward Z. Yang2015-05-112-7/+6
* Backpack docs: AvailInfo plan, and why selectors are hard.Edward Z. Yang2015-05-082-14/+109
* Backpack docs: meditate on AvailTC with four examples.Edward Z. Yang2015-05-072-26/+233
* Typeset Backpack semantic entities in figure, figure-ify all asides.Edward Z. Yang2015-04-302-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-285-934/+376
* Full type checking Backpack details.ghc-julyEdward Z. Yang2015-04-272-34/+180
* Backpack docs: explain alternate merging scheme.Edward Z. Yang2015-04-272-13/+47
* Flesh out some more Backpack examples in the merging section.Edward Z. Yang2015-04-272-2/+85
* Updates to Backpack documentation based on recent visit to MSRC.Edward Z. Yang2015-04-259-595/+1491
* uBackpack: simplified Backpack description.Edward Z. Yang2015-03-314-3/+387
* Update Backpack document with examples [skip ci]Edward Z. Yang2015-01-212-18/+78
* Improved Backpack IR description. [skip ci]Edward Z. Yang2014-12-192-42/+164
* Proposal for Backpack file format [skip ci]Edward Z. Yang2014-12-092-17/+111
* Check in up-to-date PDF copies of Backpack docs. [skip ci]Edward Z. Yang2014-10-232-0/+0
* More updates to Backpack manual [skip ci]Edward Z. Yang2014-10-231-147/+112
* Rewrite section 1 of the Backpack manual. [skip ci]Edward Z. Yang2014-10-101-202/+344
* Update some out-of-date things in Backpack implementation doc [skip ci]Edward Z. Yang2014-10-071-27/+36
* Initial commit of the Backpack manual [skip ci]Edward Z. Yang2014-10-072-0/+330
* [no-ci] Minor bugfixes in Backpack docs.Edward Z. Yang2014-08-051-15/+10
* [backpack] More revisions to various pieces.Edward Z. Yang2014-08-011-125/+84
* [backpack] Package selectionEdward Z. Yang2014-07-311-213/+412
* [backpack] Rewrite compilation to be cleaner.Edward Z. Yang2014-07-251-287/+222
* Duplicate wordGabor Greif2014-07-231-1/+1
* Write up rename on entryEdward Z. Yang2014-07-231-14/+71
* Definite compilation is a goEdward Z. Yang2014-07-231-145/+412
* Add a summary section.Edward Z. Yang2014-07-221-26/+77
* Rewrite package/module identity sectionEdward Z. Yang2014-07-221-155/+314
* OK, I think we've finally solved granularity.Edward Z. Yang2014-07-173-612/+1229
* Try to explain the applicativity problemEdward Z. Yang2014-07-161-10/+86
* Finish TCs sectionEdward Z. Yang2014-07-141-85/+238
* Type classesEdward Z. Yang2014-07-141-11/+268
* [backpack] Rework definite package compilationEdward Z. Yang2014-07-101-105/+103
* Make the example a little more complexEdward Z. Yang2014-07-101-142/+208
* Start expanding out linking textEdward Z. Yang2014-07-091-92/+239
* Add hyperref package.Edward Z. Yang2014-07-091-0/+1
* [docs/backpack] Get lint to stop complainingEdward Z. Yang2014-07-091-6/+6
* Scott's updates to the impl paper.Edward Z. Yang2014-07-091-25/+92
* Private axiom comment in BackpackEdward Z. Yang2014-07-071-2/+27
* Minor edits to Backpack design docEdward Z. Yang2014-07-021-19/+92
* Finish up incomplete sectionsEdward Z. Yang2014-07-021-90/+230
* Finish the simple elaboration algoEdward Z. Yang2014-07-021-20/+41
View Lorry Controller Status