Tue, 07 Feb 2017 22:15:05 +0100 | haftmann | dedicated computation preprocessing rules for nat, int implemented by target language literals | changeset | files |
Tue, 07 Feb 2017 22:15:04 +0100 | haftmann | dropped superfluous preprocessing rule | changeset | files |
Tue, 07 Feb 2017 22:15:03 +0100 | haftmann | preprocessing rules must always stem from static context | changeset | files |
Mon, 06 Feb 2017 20:56:38 +0100 | haftmann | computation preprocessing rules to allow literals as input for computations | changeset | files |
Mon, 06 Feb 2017 20:56:37 +0100 | haftmann | dedicated preprocessor for computations | changeset | files |
Mon, 06 Feb 2017 20:56:36 +0100 | haftmann | extended syntax allows to include datatype constructors directly in computations | changeset | files |