| 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 |
| Mon, 06 Feb 2017 20:56:35 +0100 | haftmann | variables and type must be checked before entering evaluation sandwich | changeset | files |
| Mon, 06 Feb 2017 20:56:34 +0100 | haftmann | more explicit errors in pathological cases | changeset | files |
| Mon, 06 Feb 2017 20:56:33 +0100 | haftmann | more computation antiquotations | changeset | files |
| Mon, 06 Feb 2017 20:56:32 +0100 | haftmann | computations and partiality | changeset | files |
| Mon, 06 Feb 2017 20:56:30 +0100 | haftmann | tuned | changeset | files |