:: Re: [DNG] Ada example
Page principale
Supprimer ce message
Répondre à ce message
Auteur: Didier Kryn
Date:  
À: dng
Sujet: Re: [DNG] Ada example
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