darcs-mirror-polyfix.git
11 years agoLast fixes
Joachim Breitner [Fri, 17 Oct 2008 12:26:16 +0000 (12:26 +0000)]
Last fixes

11 years agoMore rules
Joachim Breitner [Fri, 17 Oct 2008 12:16:19 +0000 (12:16 +0000)]
More rules

11 years agoCorrectly insert terms even with scoping (I hope)
Joachim Breitner [Fri, 17 Oct 2008 11:58:37 +0000 (11:58 +0000)]
Correctly insert terms even with scoping (I hope)

11 years agoandEither resolution
Joachim Breitner [Fri, 17 Oct 2008 10:44:01 +0000 (10:44 +0000)]
andEither resolution

11 years agoEither conversion, mapEither evaluation
Joachim Breitner [Fri, 17 Oct 2008 10:30:11 +0000 (10:30 +0000)]
Either conversion, mapEither evaluation

11 years agoBefore Lambda untyping
Joachim Breitner [Fri, 17 Oct 2008 10:23:55 +0000 (10:23 +0000)]
Before Lambda untyping

11 years agoConvert Daniels Term to my Expr, and insert into theorem
Joachim Breitner [Fri, 17 Oct 2008 09:04:25 +0000 (09:04 +0000)]
Convert Daniels Term to my Expr, and insert into theorem

11 years agoCabalize
Joachim Breitner [Thu, 16 Oct 2008 14:38:07 +0000 (14:38 +0000)]
Cabalize

11 years agoRemove TypSamples
Joachim Breitner [Thu, 16 Oct 2008 14:37:19 +0000 (14:37 +0000)]
Remove TypSamples

11 years agoSmall adjustment, forgotten patterns
Joachim Breitner [Thu, 16 Oct 2008 07:50:24 +0000 (07:50 +0000)]
Small adjustment, forgotten patterns

11 years agoDocument custom functions
Joachim Breitner [Wed, 15 Oct 2008 15:14:21 +0000 (15:14 +0000)]
Document custom functions

11 years agoBe more explicit about strict functions
Joachim Breitner [Wed, 15 Oct 2008 15:06:39 +0000 (15:06 +0000)]
Be more explicit about strict functions

11 years agoRename to PolyFix
Joachim Breitner [Wed, 15 Oct 2008 15:03:52 +0000 (15:03 +0000)]
Rename to PolyFix

11 years agoSpecializing to units
Joachim Breitner [Wed, 15 Oct 2008 15:02:10 +0000 (15:02 +0000)]
Specializing to units

11 years agoAdjust CGI output text
Joachim Breitner [Wed, 15 Oct 2008 14:34:58 +0000 (14:34 +0000)]
Adjust CGI output text

11 years agoName vars corresponding to daniels output, identify strict functions
Joachim Breitner [Wed, 15 Oct 2008 14:34:03 +0000 (14:34 +0000)]
Name vars corresponding to daniels output, identify strict functions

11 years agoIntegrate free-therem in cgi script
Joachim Breitner [Wed, 15 Oct 2008 13:54:30 +0000 (13:54 +0000)]
Integrate free-therem in cgi script

11 years agoCGI script
Joachim Breitner [Wed, 15 Oct 2008 12:52:57 +0000 (12:52 +0000)]
CGI script

11 years agoAdd nice getComplete' function
Joachim Breitner [Wed, 15 Oct 2008 12:52:22 +0000 (12:52 +0000)]
Add nice getComplete' function

11 years agoDaniels Code
Joachim Breitner [Wed, 15 Oct 2008 12:24:34 +0000 (12:24 +0000)]
Daniels Code

11 years agoEither handling
Joachim Breitner [Wed, 15 Oct 2008 12:23:13 +0000 (12:23 +0000)]
Either handling

11 years agoEither support
Joachim Breitner [Wed, 15 Oct 2008 11:21:31 +0000 (11:21 +0000)]
Either support

11 years agoType signatures
Joachim Breitner [Wed, 15 Oct 2008 07:36:44 +0000 (07:36 +0000)]
Type signatures

11 years agoOptimize untupling lets
Joachim Breitner [Tue, 14 Oct 2008 14:54:02 +0000 (14:54 +0000)]
Optimize untupling lets

11 years agoEta-Reduction
Joachim Breitner [Tue, 14 Oct 2008 14:28:30 +0000 (14:28 +0000)]
Eta-Reduction

11 years agoquantify variables on their own
Joachim Breitner [Tue, 14 Oct 2008 13:49:53 +0000 (13:49 +0000)]
quantify variables on their own

11 years agoSeparate substitution finder and definition finder
Joachim Breitner [Tue, 14 Oct 2008 13:38:26 +0000 (13:38 +0000)]
Separate substitution finder and definition finder

11 years agoDeep Definition removal
Joachim Breitner [Tue, 14 Oct 2008 13:08:18 +0000 (13:08 +0000)]
Deep Definition removal

11 years agoDo not assign "f"
Joachim Breitner [Tue, 14 Oct 2008 12:49:50 +0000 (12:49 +0000)]
Do not assign "f"

11 years agoRemove obsolete functions (as top levels)
Joachim Breitner [Tue, 14 Oct 2008 12:49:05 +0000 (12:49 +0000)]
Remove obsolete functions (as top levels)

11 years agounused untyped exprs
Joachim Breitner [Tue, 14 Oct 2008 12:22:09 +0000 (12:22 +0000)]
unused untyped exprs

11 years agoAnd as list
Joachim Breitner [Tue, 14 Oct 2008 12:20:09 +0000 (12:20 +0000)]
And as list

11 years agoLarge refactor: Use TypedExpr data type
Joachim Breitner [Tue, 14 Oct 2008 12:08:07 +0000 (12:08 +0000)]
Large refactor: Use TypedExpr data type

11 years agoCarry types with functions
Joachim Breitner [Tue, 14 Oct 2008 10:41:13 +0000 (10:41 +0000)]
Carry types with functions

11 years agocomments
Joachim Breitner [Tue, 14 Oct 2008 10:29:04 +0000 (10:29 +0000)]
comments

11 years agoDeep tuple pattern generation
Joachim Breitner [Tue, 14 Oct 2008 10:22:13 +0000 (10:22 +0000)]
Deep tuple pattern generation

11 years agoPairwise -> allZipWith
Joachim Breitner [Tue, 14 Oct 2008 08:15:44 +0000 (08:15 +0000)]
Pairwise -> allZipWith

11 years agoIndentation, proper braces with arrowInstType
Joachim Breitner [Tue, 14 Oct 2008 08:10:05 +0000 (08:10 +0000)]
Indentation, proper braces with arrowInstType

11 years agoShowing with types
Joachim Breitner [Tue, 14 Oct 2008 07:53:29 +0000 (07:53 +0000)]
Showing with types

11 years agoAllStar handling
Joachim Breitner [Mon, 13 Oct 2008 16:43:49 +0000 (16:43 +0000)]
AllStar handling

11 years agoCatch empty lambda in map
Joachim Breitner [Mon, 13 Oct 2008 15:02:14 +0000 (15:02 +0000)]
Catch empty lambda in map

11 years agoInitial check in
Joachim Breitner [Mon, 13 Oct 2008 14:59:41 +0000 (14:59 +0000)]
Initial check in