darcs-mirror-polyfix.git
12 years agoenhanced simplifyAbsTerm and corrected error for App <Case> <Term> master
seideld [Mon, 17 Nov 2008 11:45:55 +0000 (11:45 +0000)]
enhanced simplifyAbsTerm and corrected error for App <Case> <Term>

12 years agoreplaced Case1 by Case and thus removed Convert-Error Typ2Expr. Before t2 == t3 was...
seideld [Mon, 17 Nov 2008 13:38:42 +0000 (13:38 +0000)]
replaced Case1 by Case and thus removed Convert-Error Typ2Expr. Before t2 == t3 was not fulfiled for Case1 t0 t1 t2 t3, but is required for the Transformation.

12 years agoadded comments on the different case statements of type AbsTerm
seideld [Mon, 17 Nov 2008 09:17:32 +0000 (09:17 +0000)]
added comments on the different case statements of type AbsTerm

12 years agoRemove special Tuple handling in allquantors
Joachim Breitner [Fri, 14 Nov 2008 22:48:35 +0000 (22:48 +0000)]
Remove special Tuple handling in allquantors

12 years agoReduce Uncurry when possible
Joachim Breitner [Fri, 14 Nov 2008 17:06:51 +0000 (17:06 +0000)]
Reduce Uncurry when possible

12 years agoUse uncurry to map PCase
Joachim Breitner [Fri, 14 Nov 2008 16:57:48 +0000 (16:57 +0000)]
Use uncurry to map PCase

12 years agoDanies Änderungen von 20081114
Joachim Breitner [Fri, 14 Nov 2008 16:19:05 +0000 (16:19 +0000)]
Danies Änderungen von 20081114

12 years agoUnpack pairs if unpackabe
Joachim Breitner [Fri, 14 Nov 2008 10:05:42 +0000 (10:05 +0000)]
Unpack pairs if unpackabe

12 years agofix "Don’t unpack pair if vars are not used"
Joachim Breitner [Fri, 14 Nov 2008 10:02:19 +0000 (10:02 +0000)]
fix "Don’t unpack pair if vars are not used"

12 years agoLeeres forall kann wichtig sein..
Joachim Breitner [Fri, 14 Nov 2008 09:45:04 +0000 (09:45 +0000)]
Leeres forall kann wichtig sein..

12 years agoCorreclty implement eitherMap
Joachim Breitner [Wed, 12 Nov 2008 11:42:23 +0000 (11:42 +0000)]
Correclty implement eitherMap

12 years agoRemove foralls with empty variable list
Joachim Breitner [Wed, 12 Nov 2008 11:42:13 +0000 (11:42 +0000)]
Remove foralls with empty variable list

12 years agoRemove unnecessary let
Joachim Breitner [Wed, 12 Nov 2008 11:34:18 +0000 (11:34 +0000)]
Remove unnecessary let

12 years agoMake Either available to ft
Joachim Breitner [Wed, 12 Nov 2008 11:25:27 +0000 (11:25 +0000)]
Make Either available to ft

12 years agoDaniels Stand von 20081110
Joachim Breitner [Wed, 12 Nov 2008 10:35:51 +0000 (10:35 +0000)]
Daniels Stand von 20081110

12 years agoTerm2Expr
Joachim Breitner [Fri, 17 Oct 2008 12:26:41 +0000 (12:26 +0000)]
Term2Expr

12 years agoLast fixes
Joachim Breitner [Fri, 17 Oct 2008 12:26:16 +0000 (12:26 +0000)]
Last fixes

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

12 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)

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

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

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

12 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

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

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

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

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

12 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

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

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

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

12 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

12 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

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

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

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

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

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

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

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

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

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

12 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

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

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

12 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)

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

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

12 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

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

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

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

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

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

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

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

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

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