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

10 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.

10 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

10 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

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

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

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

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

10 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"

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

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

10 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

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

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

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

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

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

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

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

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

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

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

10 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

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

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

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

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

10 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

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

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

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

10 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

10 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

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

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

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

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

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

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

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

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

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

10 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

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

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

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

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

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

10 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

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

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

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

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

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

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

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

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

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