Richat@lemmy.ml to linuxmemes@lemmy.world · 25 days agoGIMPlemmy.mlimagemessage-square85linkfedilinkarrow-up1741arrow-down117
arrow-up1724arrow-down1imageGIMPlemmy.mlRichat@lemmy.ml to linuxmemes@lemmy.world · 25 days agomessage-square85linkfedilink
minus-squaresmlckz@lemmy.worldlinkfedilinkarrow-up11·24 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-224 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-squarealtphoto@lemmy.todaylinkfedilinkarrow-up2·24 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…
minus-squarecally [he/they]@pawb.sociallinkfedilinkEnglisharrow-up2·24 days agocoq_nvim exists with that name too
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.
And you can have two versions at the same time! And if you do, you can eat one while sitting on the…actually guys…
coq_nvim exists with that name too