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

There are no comments on this comment yet.