nt-coerce.git
2013-07-04 Joachim BreitnerImplement Refl in deriveNT
2013-07-04 Joachim BreitnerTest recursive newtype
2013-07-04 Joachim BreitnerAdd comments
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