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

	Commit message (Expand)	Author	Age	Files	Lines
*	Updates to Backpack documentation based on recent visit to MSRC.	Edward Z. Yang	2015-04-25	1	-0/+27
*	Update some out-of-date things in Backpack implementation doc [skip ci]	Edward Z. Yang	2014-10-07	1	-27/+36
*	[no-ci] Minor bugfixes in Backpack docs.	Edward Z. Yang	2014-08-05	1	-15/+10
*	[backpack] More revisions to various pieces.	Edward Z. Yang	2014-08-01	1	-125/+84
*	[backpack] Package selection	Edward Z. Yang	2014-07-31	1	-213/+412
*	[backpack] Rewrite compilation to be cleaner.	Edward Z. Yang	2014-07-25	1	-287/+222
*	Duplicate word	Gabor Greif	2014-07-23	1	-1/+1
*	Write up rename on entry	Edward Z. Yang	2014-07-23	1	-14/+71
*	Definite compilation is a go	Edward Z. Yang	2014-07-23	1	-145/+412
*	Add a summary section.	Edward Z. Yang	2014-07-22	1	-26/+77
*	Rewrite package/module identity section	Edward Z. Yang	2014-07-22	1	-155/+314
*	OK, I think we've finally solved granularity.	Edward Z. Yang	2014-07-17	1	-612/+281
*	Try to explain the applicativity problem	Edward Z. Yang	2014-07-16	1	-10/+86
*	Finish TCs section	Edward Z. Yang	2014-07-14	1	-85/+238
*	Type classes	Edward Z. Yang	2014-07-14	1	-11/+268
*	[backpack] Rework definite package compilation	Edward Z. Yang	2014-07-10	1	-105/+103
*	Make the example a little more complex	Edward Z. Yang	2014-07-10	1	-142/+208
*	Start expanding out linking text	Edward Z. Yang	2014-07-09	1	-92/+239
*	Add hyperref package.	Edward Z. Yang	2014-07-09	1	-0/+1
*	[docs/backpack] Get lint to stop complaining	Edward Z. Yang	2014-07-09	1	-6/+6
*	Scott's updates to the impl paper.	Edward Z. Yang	2014-07-09	1	-25/+92
*	Private axiom comment in Backpack	Edward Z. Yang	2014-07-07	1	-2/+27
*	Minor edits to Backpack design doc	Edward Z. Yang	2014-07-02	1	-19/+92
*	Finish up incomplete sections	Edward Z. Yang	2014-07-02	1	-90/+230
*	Finish the simple elaboration algo	Edward Z. Yang	2014-07-02	1	-20/+41
*	Backpack docs: Compilation, surface syntax, and package database	Edward Z. Yang	2014-07-01	1	-92/+434
*	Minor updates to Backpack docs.	Edward Z. Yang	2014-06-28	1	-7/+10
*	Lots of rewrites to further move toward new world order	Edward Z. Yang	2014-06-26	1	-479/+291
*	The linking restriction, no shaping necessary.	Edward Z. Yang	2014-06-25	1	-165/+332
*	Describe signature mini-backpack.	Edward Z. Yang	2014-06-24	1	-28/+96
*	More updates to Backpack impl docs.	Edward Z. Yang	2014-06-23	1	-17/+146
*	More fixes and updates to implementation document	Edward Z. Yang	2014-06-20	1	-76/+264
*	Finish the rest of the writeup.	Edward Z. Yang	2014-06-19	1	-81/+242
*	In progress Backpack implementation docs.	Edward Z. Yang	2014-06-18	1	-0/+298