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

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