Richat@lemmy.ml to linuxmemes@lemmy.world · 4 days agoGIMPlemmy.mlimagemessage-square85linkfedilinkarrow-up1723arrow-down117
arrow-up1706arrow-down1imageGIMPlemmy.mlRichat@lemmy.ml to linuxmemes@lemmy.world · 4 days agomessage-square85linkfedilink
minus-squaresmlckz@lemmy.worldlinkfedilinkarrow-up11·4 days 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-up7·edit-23 days agoThis is en 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·3 days agocoq_nvim exists with that name too
minus-squarealtphoto@lemmy.todaylinkfedilinkarrow-up2·3 days 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 en 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…