News for hackers. Stuff that matters.
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...

There are no comments on this comment yet.