@Richat@lemmy.ml to linuxmemes@lemmy.world • 5 days agoGIMPlemmy.mlimagemessage-square85fedilinkarrow-up1724arrow-down117
arrow-up1707arrow-down1imageGIMPlemmy.ml@Richat@lemmy.ml to linuxmemes@lemmy.world • 5 days agomessage-square85fedilink
minus-square@smlckz@lemmy.worldlinkfedilink11•5 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-square@kattfisk@lemmy.dbzer0.comlinkfedilink7•edit-25 days agoThis is an outrage! Coq was such an excellent name. Short, memorable, unique, related to its origins and logo, as well as funny.
minus-square@altphoto@lemmy.todaylinkfedilink2•5 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 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…