Alejandro Serrano cedf59ace7 Merge branch 'fix-typed-holes'		2014-06-10 17:09:46 +02:00
..
GhcMod	Merge branch 'fix-typed-holes'	2014-06-10 17:09:46 +02:00
GhcMod.hs	Initial implementation of case splitting	2014-06-08 12:33:13 +02:00