• toastal
    link
    fedilink
    arrow-up
    2
    ·
    edit-2
    7 months ago

    ATS blasting in here to give you linear types, dependent types, & refinement types with the literal performance of C—& safety beyond all 3.