This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Gro-Tsen
gro-tsen.bsky.social
did:plc:tnde52rcbqxotp7a2cl7bmxu
… Renaming “Coq” to “Rocq” comes from the exact same mindset as cutting grants from projects which contain certain forbidden words.
Anyway, my question is how to refer to Coq in such a way as to denounce this puritanical agenda. Like maybe find an excuse to read the slash in “Rocq/Coq” as “hard”. 🤔
2025-02-25T07:44:49.984Z