haftmann [Thu, 17 Jun 2010 15:59:48 +0200] rev 37450
first serious draft of a scala code generator
haftmann [Thu, 17 Jun 2010 15:59:47 +0200] rev 37449
more precise code
haftmann [Thu, 17 Jun 2010 15:59:46 +0200] rev 37448
explicit type variable arguments for constructors
haftmann [Thu, 17 Jun 2010 11:33:04 +0200] rev 37447
transitive superclasses were also only a misunderstanding
haftmann [Thu, 17 Jun 2010 10:57:00 +0200] rev 37446
formal introduction of transitive superclasses
haftmann [Thu, 17 Jun 2010 10:51:38 +0200] rev 37445
dropped obscure type argument weakening mapping -- was only a misunderstanding
haftmann [Thu, 17 Jun 2010 10:45:10 +0200] rev 37444
added simp evaluator
haftmann [Thu, 17 Jun 2010 10:02:29 +0200] rev 37443
merged
haftmann [Tue, 15 Jun 2010 14:28:22 +0200] rev 37442
added code_simp infrastructure
haftmann [Tue, 15 Jun 2010 14:28:08 +0200] rev 37441
tuned whitespace
haftmann [Tue, 15 Jun 2010 11:38:40 +0200] rev 37440
maintain cong rules for case combinators; more precise permissiveness
haftmann [Tue, 15 Jun 2010 11:38:40 +0200] rev 37439
drop function definitions of combinators
haftmann [Tue, 15 Jun 2010 11:38:39 +0200] rev 37438
maintain cong rules for case combinators
haftmann [Tue, 15 Jun 2010 08:32:32 +0200] rev 37437
formal introduction of case cong