Post #3836343
2026-06-22 15:36 UTC
I understand that there are editorial conventions for this, and I would like my opinion on the matter to be known, to wit:
1. Those editorial conventions are wrong, and
2. If I read this in an article, I will assume that the writer pronounces it "a mhll language."
#RocqProver #FormerlyKnownAsCoq
Replies (0)
No replies.