Richat@lemmy.ml to linuxmemes@lemmy.world · 2 months agoGIMPlemmy.mlimagemessage-square39linkfedilinkarrow-up1637arrow-down112
arrow-up1625arrow-down1imageGIMPlemmy.mlRichat@lemmy.ml to linuxmemes@lemmy.world · 2 months agomessage-square39linkfedilink
minus-squareûnkreativiteit@lemmy.worldlinkfedilinkarrow-up9·2 months agoI remember there was an effort to rename Coq, it turned out… well? https://rocq-prover.org/ As for git… https://en.wiktionary.org/wiki/git It doesn’t seem it would be renamed… However, got seems to be quite a nice acronym: https://gameoftrees.org/
minus-squarekattfisk@lemmy.dbzer0.comlinkfedilinkarrow-up5·edit-22 months agoThis is an outrage! Coq was such an excellent name. Short, memorable, unique, related to its origins and logo, as well as funny.
minus-squarecally [he/they]@pawb.sociallinkfedilinkEnglisharrow-up2·1 month agocoq_nvim exists with that name too
minus-squarealtphoto@lemmy.todaylinkfedilinkarrow-up2·2 months agoAnd you can have two versions at the same time! And if you do, you can eat one while sitting on the…actually guys…
I remember there was an effort to rename Coq, it turned out… well? https://rocq-prover.org/
As for git… https://en.wiktionary.org/wiki/git It doesn’t seem it would be renamed… However, got seems to be quite a nice acronym: https://gameoftrees.org/
This is an outrage!
Coq was such an excellent name. Short, memorable, unique, related to its origins and logo, as well as funny.
coq_nvim exists with that name too
And you can have two versions at the same time! And if you do, you can eat one while sitting on the…actually guys…