Mon, 06 Feb 2017 20:56:37 +0100 dedicated preprocessor for computations
haftmann [Mon, 06 Feb 2017 20:56:37 +0100] rev 64993
dedicated preprocessor for computations
Mon, 06 Feb 2017 20:56:36 +0100 extended syntax allows to include datatype constructors directly in computations
haftmann [Mon, 06 Feb 2017 20:56:36 +0100] rev 64992
extended syntax allows to include datatype constructors directly in computations
Mon, 06 Feb 2017 20:56:35 +0100 variables and type must be checked before entering evaluation sandwich
haftmann [Mon, 06 Feb 2017 20:56:35 +0100] rev 64991
variables and type must be checked before entering evaluation sandwich
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip