News for hackers. Stuff that matters.
Re:Whitehead and Russell’s Principia rewritten in Coq by hoseja on Monday December 06, 2021 @05:57AM (#29458219)
Aren't Latin C's mostly K's? As in, Julius Kaesar? I never quite looked into it in depth, with all the gradual evolution, Church latin etc.

There are no comments on this comment yet.