Gollum@feddit.org to Programmer Humor@programming.dev · 8 days agoLucky enough, I am C++ Developerfeddit.orgimagemessage-square115fedilinkarrow-up1482arrow-down135
arrow-up1447arrow-down1imageLucky enough, I am C++ Developerfeddit.orgGollum@feddit.org to Programmer Humor@programming.dev · 8 days agomessage-square115fedilink
minus-squareMiaou@jlai.lulinkfedilinkarrow-up5arrow-down1·7 days agoI started learning Coq recently. Where does that place me?
minus-squareedinbruh@feddit.itlinkfedilinkEnglisharrow-up6·7 days agoIt places you one year ago before they rebranded in rocq (obviously to stop the puns)
minus-squareMiaou@jlai.lulinkfedilinkarrow-up2·6 days agoI know but I choose to ignore the rebranding, for exactly the same reason
I started learning Coq recently. Where does that place me?
The White House?
It places you one year ago before they rebranded in rocq (obviously to stop the puns)
I know but I choose to ignore the rebranding, for exactly the same reason
That sounds harder.