delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

	Commit message (Expand)	Author	Age	Files	Lines
*	Add versioning section to Backpack docs.	Edward Z. Yang	2015-06-12	1	-0/+0
*	Backpack docs: Clarifications from today's Skype call.	Edward Z. Yang	2015-05-19	1	-0/+0
*	Backpack docs: Rewrite type checking section to have a more concrete plan.	Edward Z. Yang	2015-05-14	1	-0/+0
*	Backpack docs: Consistently italicize metavariables.	Edward Z. Yang	2015-05-12	1	-0/+0
*	Backpack docs: proper discourse on ModIface and ModDetails.	Edward Z. Yang	2015-05-11	1	-0/+0
*	Backpack docs: more carefully describe unification versus unioning.	Edward Z. Yang	2015-05-11	1	-0/+0
*	Backpack docs: AvailInfo plan, and why selectors are hard.	Edward Z. Yang	2015-05-08	1	-0/+0
*	Backpack docs: meditate on AvailTC with four examples.	Edward Z. Yang	2015-05-07	1	-0/+0
*	Typeset Backpack semantic entities in figure, figure-ify all asides.	Edward Z. Yang	2015-04-30	1	-0/+0
*	Backpack docs: merge backpack-shaping into algorithm, sigs no longer provide	Edward Z. Yang	2015-04-28	1	-0/+0
*	Full type checking Backpack details.ghc-july	Edward Z. Yang	2015-04-27	1	-0/+0
*	Backpack docs: explain alternate merging scheme.	Edward Z. Yang	2015-04-27	1	-0/+0
*	Flesh out some more Backpack examples in the merging section.	Edward Z. Yang	2015-04-27	1	-0/+0
*	Updates to Backpack documentation based on recent visit to MSRC.	Edward Z. Yang	2015-04-25	1	-0/+0