History · type checker · Wiki · Glasgow Haskell Compiler / GHC

Page version	Author	Changes	Last updated
69d2aab4	Adam Gundry	update links to ghc-devs threads about evidence; describe more outstanding issues	Feb 27, 2015
2ce1daff	Adam Gundry	link to #10077	Feb 10, 2015
152ed41d	Adam Gundry	add FAQ	Feb 10, 2015
74e8655c	Adam Gundry	Discuss CoAxiomRule serialization problem	Dec 18, 2014
1079ac55	Adam Gundry	Link to Phabricator	Nov 18, 2014
8eb9c517	Adam Gundry	Updates following implementation	Nov 18, 2014
9c579d7c	Adam Gundry	Answer questions	Sep 16, 2014
d81f9e34	Adam Gundry	Pointer to information about Ct (thanks Carter)	Sep 16, 2014
0faf49bc	darchon	Edit Plugins/TypeChecker	Sep 13, 2014
43e482aa	goldfire	Edit Plugins/TypeChecker	Sep 12, 2014
cf6dae52	Adam Gundry	Edit Plugins/TypeChecker	Sep 12, 2014

type checker · History