• trot [he/him]
    ·
    19 hours ago

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