aburtang@lemmy.world to Programmer Humor@lemmy.ml · 8 days agoEvil Oneslemmy.worldimagemessage-square33fedilinkarrow-up1649arrow-down123
arrow-up1626arrow-down1imageEvil Oneslemmy.worldaburtang@lemmy.world to Programmer Humor@lemmy.ml · 8 days agomessage-square33fedilink
Javascript and not Coq?