----------------------------------------------------------------------------------
@MSGID: 1@dont-email.me> bf111f6c
@REPLY: 1@dont-email.me> 3e62d0eb
@REPLYADDR Luke A. Guest <laguest@archeia.com>
@REPLYTO 2:5075/128 Luke A. Guest
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID: 1@dont-email.me>
@RFC-References: 1@dont-email.me>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
1@dont-email.me>
@TZUTC: 0100
@PID: Mozilla Thunderbird
@TID: FIDOGATE-5.12-ge4e8b94
On 25/09/2023 16:55, G.B. wrote:
> What changes to Ada are a good fit while aiming
> at memory safety, verification support,
> or light weight and safe parallel execution?
I started thinking about that here
https://github.com/Lucretia/orenda.
--- Mozilla Thunderbird
* Origin: A noiseless patient Spider (2:5075/128)
SEEN-BY: 5001/100 5005/49 5015/255 5019/40 5020/715
848 1042 4441 12000
SEEN-BY: 5030/49 1081 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441