@[email protected] to [email protected] • 1 month agoGIMPlemmy.mlimagemessage-square87fedilinkarrow-up1730
arrow-up1730imageGIMPlemmy.ml@[email protected] to [email protected] • 1 month agomessage-square87fedilink
minus-square@[email protected]linkfedilink7•edit-21 month 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@[email protected]linkfedilink2•1 month agoAnd you can have two versions at the same time! And if you do, you can eat one while sitting on the…actually guys…
This is an 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