Extract error messages
[nt-coerce.git] / GHC / NT / Plugin.hs
2013-07-04 Joachim BreitnerExtract error messages
2013-07-04 Joachim BreitnerLookup nttc “properly”
2013-07-04 Joachim BreitnerMore general deriveThisNT
2013-07-04 Joachim BreitnerFurther ease constructing NT lambdas
2013-07-03 Joachim BreitnerSimplify construction of CoreSyn
2013-07-03 Joachim BreitnerRevert "Try to implement NT as a newtype (but doesnt...
2013-07-03 Joachim BreitnerTry to implement NT as a newtype (but doesnt seem to...
2013-07-03 Joachim BreitnerUse GlobalRdrEnv
2013-07-01 Joachim BreitnerImplement refl and trans
2013-07-01 Joachim BreitnerRefactor: Remove bind2
2013-07-01 Joachim BreitnerInitial check-in