projects
/
darcs-mirror-polyfix.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
darcs-mirror-polyfix.git
2008-11-14
Joachim Breitner
Remove special Tuple handling in allquantors
commit
|
commitdiff
|
tree
|
snapshot
2008-11-14
Joachim Breitner
Reduce Uncurry when possible
commit
|
commitdiff
|
tree
|
snapshot
2008-11-14
Joachim Breitner
Use uncurry to map PCase
commit
|
commitdiff
|
tree
|
snapshot
2008-11-14
Joachim Breitner
Danies Änderungen von 20081114
commit
|
commitdiff
|
tree
|
snapshot
2008-11-14
Joachim Breitner
Unpack pairs if unpackabe
commit
|
commitdiff
|
tree
|
snapshot
2008-11-14
Joachim Breitner
fix "Don’t unpack pair if vars are not used"
commit
|
commitdiff
|
tree
|
snapshot
2008-11-14
Joachim Breitner
Leeres forall kann wichtig sein..
commit
|
commitdiff
|
tree
|
snapshot
2008-11-12
Joachim Breitner
Correclty implement eitherMap
commit
|
commitdiff
|
tree
|
snapshot
2008-11-12
Joachim Breitner
Remove foralls with empty variable list
commit
|
commitdiff
|
tree
|
snapshot
2008-11-12
Joachim Breitner
Remove unnecessary let
commit
|
commitdiff
|
tree
|
snapshot
2008-11-12
Joachim Breitner
Make Either available to ft
commit
|
commitdiff
|
tree
|
snapshot
2008-11-12
Joachim Breitner
Daniels Stand von 20081110
commit
|
commitdiff
|
tree
|
snapshot
2008-10-17
Joachim Breitner
Term2Expr
commit
|
commitdiff
|
tree
|
snapshot
2008-10-17
Joachim Breitner
Last fixes
commit
|
commitdiff
|
tree
|
snapshot
2008-10-17
Joachim Breitner
More rules
commit
|
commitdiff
|
tree
|
snapshot
2008-10-17
Joachim Breitner
Correctly insert terms even with scoping (I hope)
commit
|
commitdiff
|
tree
|
snapshot
2008-10-17
Joachim Breitner
andEither resolution
commit
|
commitdiff
|
tree
|
snapshot
2008-10-17
Joachim Breitner
Either conversion, mapEither evaluation
commit
|
commitdiff
|
tree
|
snapshot
2008-10-17
Joachim Breitner
Before Lambda untyping
commit
|
commitdiff
|
tree
|
snapshot
2008-10-17
Joachim Breitner
Convert Daniels Term to my Expr, and insert into theorem
commit
|
commitdiff
|
tree
|
snapshot
2008-10-16
Joachim Breitner
Cabalize
commit
|
commitdiff
|
tree
|
snapshot
2008-10-16
Joachim Breitner
Remove TypSamples
commit
|
commitdiff
|
tree
|
snapshot
2008-10-16
Joachim Breitner
Small adjustment, forgotten patterns
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
Document custom functions
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
Be more explicit about strict functions
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
Rename to PolyFix
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
Specializing to units
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
Adjust CGI output text
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
Name vars corresponding to daniels output, identify...
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
Integrate free-therem in cgi script
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
CGI script
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
Add nice getComplete' function
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
Daniels Code
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
Either handling
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
Either support
commit
|
commitdiff
|
tree
|
snapshot
2008-10-15
Joachim Breitner
Type signatures
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
Optimize untupling lets
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
Eta-Reduction
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
quantify variables on their own
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
Separate substitution finder and definition finder
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
Deep Definition removal
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
Do not assign "f"
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
Remove obsolete functions (as top levels)
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
unused untyped exprs
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
And as list
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
Large refactor: Use TypedExpr data type
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
Carry types with functions
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
comments
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
Deep tuple pattern generation
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
Pairwise -> allZipWith
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
Indentation, proper braces with arrowInstType
commit
|
commitdiff
|
tree
|
snapshot
2008-10-14
Joachim Breitner
Showing with types
commit
|
commitdiff
|
tree
|
snapshot
2008-10-13
Joachim Breitner
AllStar handling
commit
|
commitdiff
|
tree
|
snapshot
2008-10-13
Joachim Breitner
Catch empty lambda in map
commit
|
commitdiff
|
tree
|
snapshot
2008-10-13
Joachim Breitner
Initial check in
commit
|
commitdiff
|
tree
|
snapshot