Re:Renaming Coq
by herbelin on Sunday April 11, 2021 @12:57PM
(#26771740)
In terms of multiplicity of meanings, certainly. Anyway, if you're interested in my personal opinion on Huet's "humour" and how this degenerated, we can talk privately.
[ Parent
| on HN ]
There are no comments on this comment yet.