News for hackers. Stuff that matters.

A comment on Whitehead and Russell’s Principia rewritten in Coq. Parent comment

Re:Whitehead and Russell’s Principia rewritten in Coq by mdp2021 on Monday December 06, 2021 @04:36AM (#29457815)
> "s" or "k"

More common for post latin spoken languages would be ʧ ("ch·eese"). (You missed the foremost contender.)

[ Parent | on HN ]

There are no comments on this comment yet.