projects
/
darcs-mirror-polyfix.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Remove TypSamples
2008-10-16
Joachim Breitner
Remove TypSamples
commit
|
commitdiff
|
tree
2008-10-16
Joachim Breitner
Small adjustment, forgotten patterns
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
Document custom functions
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
Be more explicit about strict functions
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
Rename to PolyFix
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
Specializing to units
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
Adjust CGI output text
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
Name vars corresponding to daniels output, identify...
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
Integrate free-therem in cgi script
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
CGI script
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
Add nice getComplete' function
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
Daniels Code
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
Either handling
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
Either support
commit
|
commitdiff
|
tree
2008-10-15
Joachim Breitner
Type signatures
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
Optimize untupling lets
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
Eta-Reduction
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
quantify variables on their own
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
Separate substitution finder and definition finder
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
Deep Definition removal
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
Do not assign "f"
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
Remove obsolete functions (as top levels)
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
unused untyped exprs
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
And as list
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
Large refactor: Use TypedExpr data type
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
Carry types with functions
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
comments
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
Deep tuple pattern generation
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
Pairwise -> allZipWith
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
Indentation, proper braces with arrowInstType
commit
|
commitdiff
|
tree
2008-10-14
Joachim Breitner
Showing with types
commit
|
commitdiff
|
tree
2008-10-13
Joachim Breitner
AllStar handling
commit
|
commitdiff
|
tree
2008-10-13
Joachim Breitner
Catch empty lambda in map
commit
|
commitdiff
|
tree
2008-10-13
Joachim Breitner
Initial check in
commit
|
commitdiff
|
tree
projects / darcs-mirror-polyfix.git / search