projects / nt-coerce.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
nt-coerce.git
2013-07-11 Joachim BreitnerShow that cheating is caught master commit | commitdiff | tree | snapshot
2013-07-11 Joachim BreitnerSeparate TODO cases commit | commitdiff | tree | snapshot
2013-07-11 Joachim BreitnerAdd test suite (using HTF) commit | commitdiff | tree | snapshot
2013-07-11 Joachim BreitnerFree error message from Uniques commit | commitdiff | tree | snapshot
2013-07-11 Joachim BreitnerHandle multiple ocurrences of the same type constructor commit | commitdiff | tree | snapshot
2013-07-11 Joachim BreitnerFailing recursive data type commit | commitdiff | tree | snapshot
2013-07-11 Joachim BreitnerSupport the simplest kind of recursive data type commit | commitdiff | tree | snapshot
2013-07-11 Joachim BreitnerFirst shot at checking coercability between datacon... commit | commitdiff | tree | snapshot
2013-07-10 Joachim BreitnerSupport tuple tycons (assume always in scope) commit | commitdiff | tree | snapshot
2013-07-10 Joachim BreitnerAlso replace stuff in the case scrutineer commit | commitdiff | tree | snapshot
2013-07-08 Joachim BreitnerCheck if data type constructors are in scope commit | commitdiff | tree | snapshot
2013-07-08 Joachim BreitnerUse isNT twice commit | commitdiff | tree | snapshot
2013-07-04 Joachim BreitnerImplement Refl in deriveNT commit | commitdiff | tree | snapshot
2013-07-04 Joachim BreitnerTest recursive newtype commit | commitdiff | tree | snapshot
2013-07-04 Joachim BreitnerAdd comments commit | commitdiff | tree | snapshot
2013-07-04 Joachim BreitnerExtract error messages commit | commitdiff | tree | snapshot
2013-07-04 Joachim BreitnerLookup nttc “properly” commit | commitdiff | tree | snapshot
2013-07-04 Joachim BreitnerMore general deriveThisNT commit | commitdiff | tree | snapshot
2013-07-04 Joachim BreitnerFurther ease constructing NT lambdas commit | commitdiff | tree | snapshot
2013-07-03 Joachim BreitnerSimplify construction of CoreSyn commit | commitdiff | tree | snapshot
2013-07-03 Joachim BreitnerRevert "Try to implement NT as a newtype (but doesnt... commit | commitdiff | tree | snapshot
2013-07-03 Joachim BreitnerTry to implement NT as a newtype (but doesnt seem to... commit | commitdiff | tree | snapshot
2013-07-03 Joachim BreitnerUse GlobalRdrEnv commit | commitdiff | tree | snapshot
2013-07-01 Joachim BreitnerImplement refl and trans commit | commitdiff | tree | snapshot
2013-07-01 Joachim BreitnerRefactor: Remove bind2 commit | commitdiff | tree | snapshot
2013-07-01 Joachim BreitnerInitial check-in commit | commitdiff | tree | snapshot