trot

joined 2 years ago
sorted by: new top controversial old
I have a 64-bit gender in c/[email protected]
[–] [email protected] 2 points 5 months ago

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