Re:Learn Coq in Y Minutes
by tarsinge on Tuesday November 26, 2019 @01:55PM
(#21641395)
The big irony is: "Coq" is for English speaker exactly what "Bit" is in French. No problem when written, and ok spoken between grown up professionals obviously (though I still avoid translating bitwise operator because it becomes "cock to cock operator" when spoken), but elementary school with all the 8/16/32 bits consoles was painful...
[ Parent
| on HN ]
There are no comments on this comment yet.