• trot [he/him]
    link
    fedilink
    English
    03 months ago

    any “n-bit value” fails to model nontermination. clearly a pointed dCPO.