summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Joachim Breitner [Thu, 16 Oct 2008 14:37:19 +0000 (14:37 +0000)]
Remove TypSamples
Joachim Breitner [Thu, 16 Oct 2008 07:50:24 +0000 (07:50 +0000)]
Small adjustment, forgotten patterns
Joachim Breitner [Wed, 15 Oct 2008 15:14:21 +0000 (15:14 +0000)]
Document custom functions
Joachim Breitner [Wed, 15 Oct 2008 15:06:39 +0000 (15:06 +0000)]
Be more explicit about strict functions
Joachim Breitner [Wed, 15 Oct 2008 15:03:52 +0000 (15:03 +0000)]
Rename to PolyFix
Joachim Breitner [Wed, 15 Oct 2008 15:02:10 +0000 (15:02 +0000)]
Specializing to units
Joachim Breitner [Wed, 15 Oct 2008 14:34:58 +0000 (14:34 +0000)]
Adjust CGI output text
Joachim Breitner [Wed, 15 Oct 2008 14:34:03 +0000 (14:34 +0000)]
Name vars corresponding to daniels output, identify strict functions
Joachim Breitner [Wed, 15 Oct 2008 13:54:30 +0000 (13:54 +0000)]
Integrate free-therem in cgi script
Joachim Breitner [Wed, 15 Oct 2008 12:52:57 +0000 (12:52 +0000)]
CGI script
Joachim Breitner [Wed, 15 Oct 2008 12:52:22 +0000 (12:52 +0000)]
Add nice getComplete' function
Joachim Breitner [Wed, 15 Oct 2008 12:24:34 +0000 (12:24 +0000)]
Daniels Code
Joachim Breitner [Wed, 15 Oct 2008 12:23:13 +0000 (12:23 +0000)]
Either handling
Joachim Breitner [Wed, 15 Oct 2008 11:21:31 +0000 (11:21 +0000)]
Either support
Joachim Breitner [Wed, 15 Oct 2008 07:36:44 +0000 (07:36 +0000)]
Type signatures
Joachim Breitner [Tue, 14 Oct 2008 14:54:02 +0000 (14:54 +0000)]
Optimize untupling lets
Joachim Breitner [Tue, 14 Oct 2008 14:28:30 +0000 (14:28 +0000)]
Eta-Reduction
Joachim Breitner [Tue, 14 Oct 2008 13:49:53 +0000 (13:49 +0000)]
quantify variables on their own
Joachim Breitner [Tue, 14 Oct 2008 13:38:26 +0000 (13:38 +0000)]
Separate substitution finder and definition finder
Joachim Breitner [Tue, 14 Oct 2008 13:08:18 +0000 (13:08 +0000)]
Deep Definition removal
Joachim Breitner [Tue, 14 Oct 2008 12:49:50 +0000 (12:49 +0000)]
Do not assign "f"
Joachim Breitner [Tue, 14 Oct 2008 12:49:05 +0000 (12:49 +0000)]
Remove obsolete functions (as top levels)
Joachim Breitner [Tue, 14 Oct 2008 12:22:09 +0000 (12:22 +0000)]
unused untyped exprs
Joachim Breitner [Tue, 14 Oct 2008 12:20:09 +0000 (12:20 +0000)]
And as list
Joachim Breitner [Tue, 14 Oct 2008 12:08:07 +0000 (12:08 +0000)]
Large refactor: Use TypedExpr data type
Joachim Breitner [Tue, 14 Oct 2008 10:41:13 +0000 (10:41 +0000)]
Carry types with functions
Joachim Breitner [Tue, 14 Oct 2008 10:29:04 +0000 (10:29 +0000)]
comments
Joachim Breitner [Tue, 14 Oct 2008 10:22:13 +0000 (10:22 +0000)]
Deep tuple pattern generation
Joachim Breitner [Tue, 14 Oct 2008 08:15:44 +0000 (08:15 +0000)]
Pairwise -> allZipWith
Joachim Breitner [Tue, 14 Oct 2008 08:10:05 +0000 (08:10 +0000)]
Indentation, proper braces with arrowInstType
Joachim Breitner [Tue, 14 Oct 2008 07:53:29 +0000 (07:53 +0000)]
Showing with types
Joachim Breitner [Mon, 13 Oct 2008 16:43:49 +0000 (16:43 +0000)]
AllStar handling
Joachim Breitner [Mon, 13 Oct 2008 15:02:14 +0000 (15:02 +0000)]
Catch empty lambda in map
Joachim Breitner [Mon, 13 Oct 2008 14:59:41 +0000 (14:59 +0000)]
Initial check in
projects / darcs-mirror-polyfix.git / log