aburtang@lemmy.world to Programmer Humor@lemmy.ml · 2 days agoEvil Oneslemmy.worldimagemessage-square66fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1imageEvil Oneslemmy.worldaburtang@lemmy.world to Programmer Humor@lemmy.ml · 2 days agomessage-square66fedilink
Javascript and not Coq?
There is also PHP