Tue, 07 Sep 2010 16:58:01 +0200 | haftmann | updated generated document | changeset | files |
Tue, 07 Sep 2010 16:49:32 +0200 | haftmann | only write ghc pragma when writing to a file | changeset | files |
Tue, 07 Sep 2010 16:37:23 +0200 | haftmann | added flat_program; tuned signature | changeset | files |
Tue, 07 Sep 2010 16:37:23 +0200 | haftmann | dropped ancient deresolve_base; plain_const_syntax also needs modification of instance statement | changeset | files |
Tue, 07 Sep 2010 16:26:14 +0200 | haftmann | moved flat_program to code_namespace | changeset | files |
Tue, 07 Sep 2010 16:05:20 +0200 | haftmann | dropped outdated substitution | changeset | files |
Tue, 07 Sep 2010 16:05:18 +0200 | haftmann | Haskell uses generic flat_program combinator | changeset | files |