Hi Adam,

thanks, fixed in SVN 1296.

Best Regards,
Jürgen


On 6/5/20 12:18 PM, Adám Brudzewsky wrote:
different from the monadic case (!)
should say
different from the standard case (!)

Reply via email to