• imgcat@lemmy.ml
    link
    fedilink
    arrow-up
    3
    ·
    6 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!