• imgcat@lemmy.ml
    link
    fedilink
    arrow-up
    4
    ·
    5 months ago

    Ada SPARK is not dying at all, it’s growing. It is used where formal proof is required like and Rust is nowhere near that!