nickchapman-da 81d722dcde fix some obvious errors in the desugaring doc (#3206)		2019-10-16 18:09:00 +01:00
..
ci/jenkins	update copyright notices (#2499)	2019-08-13 17:23:03 +01:00
template-desugaring.md	fix some obvious errors in the desugaring doc (#3206)	2019-10-16 18:09:00 +01:00
working-on-ghc-lib.md	remove mentions of da-int servers (#2485)	2019-08-12 10:42:41 +01:00