CodenameDarlen@lemmy.world to Fuck AI@lemmy.world · edit-24 days agoThis guy literally generated code snippets IMAGE with AIlemmy.worldimagemessage-square48linkfedilinkarrow-up1289arrow-down16
arrow-up1283arrow-down1imageThis guy literally generated code snippets IMAGE with AIlemmy.worldCodenameDarlen@lemmy.world to Fuck AI@lemmy.world · edit-24 days agomessage-square48linkfedilink
minus-squareKSP Atlas@sopuli.xyzlinkfedilinkarrow-up1·3 days agoI guess it could be some language with a totality checker where the total keyword goes between the type and the name? Idris has a total keyword but it comes before
I guess it could be some language with a totality checker where the
totalkeyword goes between the type and the name? Idris has atotalkeyword but it comes before