Tue, 28 Feb 2017 08:18:12 +0100 | haftmann | stripped unused / obsolete material | file | diff | annotate |
Wed, 22 Feb 2017 20:34:24 +0100 | haftmann | explicit dynamic context for gap-bridging function | file | diff | annotate |
Sat, 18 Feb 2017 19:49:29 +0100 | haftmann | more complete program generation in presence of dictionaries | file | diff | annotate |
Wed, 08 Feb 2017 22:26:10 +0100 | haftmann | only intercept regular exceptions | file | diff | annotate |
Tue, 07 Feb 2017 22:15:03 +0100 | haftmann | preprocessing rules must always stem from static context | file | diff | annotate |
Mon, 06 Feb 2017 20:56:37 +0100 | haftmann | dedicated preprocessor for computations | file | diff | annotate |
Mon, 06 Feb 2017 20:56:36 +0100 | haftmann | extended syntax allows to include datatype constructors directly in computations | file | diff | annotate |