projects / darcs-mirror-polyfix.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
darcs-mirror-polyfix.git
2008-11-14 Joachim BreitnerRemove special Tuple handling in allquantors commit | commitdiff | tree | snapshot
2008-11-14 Joachim BreitnerReduce Uncurry when possible commit | commitdiff | tree | snapshot
2008-11-14 Joachim BreitnerUse uncurry to map PCase commit | commitdiff | tree | snapshot
2008-11-14 Joachim BreitnerDanies Änderungen von 20081114 commit | commitdiff | tree | snapshot
2008-11-14 Joachim BreitnerUnpack pairs if unpackabe commit | commitdiff | tree | snapshot
2008-11-14 Joachim Breitnerfix "Don’t unpack pair if vars are not used" commit | commitdiff | tree | snapshot
2008-11-14 Joachim BreitnerLeeres forall kann wichtig sein.. commit | commitdiff | tree | snapshot
2008-11-12 Joachim BreitnerCorreclty implement eitherMap commit | commitdiff | tree | snapshot
2008-11-12 Joachim BreitnerRemove foralls with empty variable list commit | commitdiff | tree | snapshot
2008-11-12 Joachim BreitnerRemove unnecessary let commit | commitdiff | tree | snapshot
2008-11-12 Joachim BreitnerMake Either available to ft commit | commitdiff | tree | snapshot
2008-11-12 Joachim BreitnerDaniels Stand von 20081110 commit | commitdiff | tree | snapshot
2008-10-17 Joachim BreitnerTerm2Expr commit | commitdiff | tree | snapshot
2008-10-17 Joachim BreitnerLast fixes commit | commitdiff | tree | snapshot
2008-10-17 Joachim BreitnerMore rules commit | commitdiff | tree | snapshot
2008-10-17 Joachim BreitnerCorrectly insert terms even with scoping (I hope) commit | commitdiff | tree | snapshot
2008-10-17 Joachim BreitnerandEither resolution commit | commitdiff | tree | snapshot
2008-10-17 Joachim BreitnerEither conversion, mapEither evaluation commit | commitdiff | tree | snapshot
2008-10-17 Joachim BreitnerBefore Lambda untyping commit | commitdiff | tree | snapshot
2008-10-17 Joachim BreitnerConvert Daniels Term to my Expr, and insert into theorem commit | commitdiff | tree | snapshot
2008-10-16 Joachim BreitnerCabalize commit | commitdiff | tree | snapshot
2008-10-16 Joachim BreitnerRemove TypSamples commit | commitdiff | tree | snapshot
2008-10-16 Joachim BreitnerSmall adjustment, forgotten patterns commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerDocument custom functions commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerBe more explicit about strict functions commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerRename to PolyFix commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerSpecializing to units commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerAdjust CGI output text commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerName vars corresponding to daniels output, identify... commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerIntegrate free-therem in cgi script commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerCGI script commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerAdd nice getComplete' function commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerDaniels Code commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerEither handling commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerEither support commit | commitdiff | tree | snapshot
2008-10-15 Joachim BreitnerType signatures commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerOptimize untupling lets commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerEta-Reduction commit | commitdiff | tree | snapshot
2008-10-14 Joachim Breitnerquantify variables on their own commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerSeparate substitution finder and definition finder commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerDeep Definition removal commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerDo not assign "f" commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerRemove obsolete functions (as top levels) commit | commitdiff | tree | snapshot
2008-10-14 Joachim Breitnerunused untyped exprs commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerAnd as list commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerLarge refactor: Use TypedExpr data type commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerCarry types with functions commit | commitdiff | tree | snapshot
2008-10-14 Joachim Breitnercomments commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerDeep tuple pattern generation commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerPairwise -> allZipWith commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerIndentation, proper braces with arrowInstType commit | commitdiff | tree | snapshot
2008-10-14 Joachim BreitnerShowing with types commit | commitdiff | tree | snapshot
2008-10-13 Joachim BreitnerAllStar handling commit | commitdiff | tree | snapshot
2008-10-13 Joachim BreitnerCatch empty lambda in map commit | commitdiff | tree | snapshot
2008-10-13 Joachim BreitnerInitial check in commit | commitdiff | tree | snapshot
Mirror of http://darcs.nomeata.de/polyfix