darcs-mirror-polyfix.git
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