Le 06/10/2024 à 08:53, karl@??? a écrit :
> In math/logic, A => B means A implicates B, i.e. if A is true then B is
> true.

    No confusion here: AFAIK in no imperative language (FORTRAN, C,
Ada, etc...) there is anything about implication; is there?

--     Didier