12 Sep
2015
12 Sep
'15
11:59 a.m.
Le 12/09/2015 14:39, Olaf Klinke a écrit :
semirings might be a useful typeclass to have. Another example: Non-negative reals with infinity, the values that a measure can take. Could you mention, please, a system whose measures are for sure positive reals, infinity included? Perhaps your definition of "measure"should be precised... Thanks.
Jerzy Karczmarczuk