:: Re: [DNG] Ada example
Top Page
Delete this message
Reply to this message
Author: Didier Kryn
Date:  
To: dng
Subject: 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