:: Re: [DNG] Ada example
Top Page
Delete this message
Reply to this message
Author: Hendrik Boom
Date:  
To: dng
Subject: Re: [DNG] Ada example
On Sun, Oct 06, 2024 at 12:05:55PM +0200, Didier Kryn wrote:
> 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?


Not unless you are also trying to formally prove program correctness.
But then you can hardly see the code for all the theorems.

- hendrik